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