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"; 10val _ = use "../../src/prekernel/stringfindreplace.sig"; 11val _ = use "../../src/prekernel/stringfindreplace.sml"; 12val _ = use "../../src/portableML/UTF8.sig"; 13val _ = use "../../src/portableML/UTF8.sml"; 14val _ = use "../../src/portableML/UnicodeChars.sig"; 15val _ = use "../../src/portableML/UnicodeChars.sml"; 16 17fun useB f = 18 (use (f ^ ".sig"); 19 use (f ^ ".sml")); 20 21val _ = useB "Flash"; 22val _ = useB "Symbolic"; 23val _ = useB "ParseDoc"; 24val _ = use "Doc2Tex.sml"; 25 26val main = Doc2Tex.main; 27