1val _ = PolyML.Compiler.prompt1:=""; 2val _ = PolyML.Compiler.prompt2:=""; 3val _ = PolyML.print_depth 0; 4val _ = use "../../tools-poly/poly/Binarymap.sig"; 5val _ = use "../../tools-poly/poly/Binarymap.sml"; 6val _ = use "../../tools-poly/poly/Binaryset.sig"; 7val _ = use "../../tools-poly/poly/Binaryset.sml"; 8val _ = use "../../tools-poly/poly/Listsort.sig"; 9val _ = use "../../tools-poly/poly/Listsort.sml"; 10 11fun useB f = 12 (use (f ^ ".sig"); 13 use (f ^ ".sml")); 14 15val _ = useB "Flash"; 16val _ = useB "Symbolic"; 17val _ = useB "ParseDoc"; 18val _ = useB "../../sigobj/Systeml"; 19val _ = use "Doc2Html.sml"; 20 21val main = Doc2Html.main 22