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 "Doc2Txt.sml";
20
21val main = Doc2Txt.main;
22