[/] [trunk/] [src/] [urpal.ml] -
Diff 16 ⟶ 18
Diff between revs
16
and
18
| Rev 16 |
Rev 18 |
|---|
| Line 6... |
Line 6... |
use "smlnj-lib.ml";
|
use "smlnj-lib.ml";
|
use "fxlib.ml";
|
use "fxlib.ml";
|
use "lib/sources.ml";
|
use "lib/sources.ml";
|
use "config/sources.ml";
|
use "config/sources.ml";
|
use "graphviz/sources.ml";
|
use "graphviz/sources.ml";
|
|
use "layout/sources.ml";
|
use "general.ml";
|
use "general.ml";
|
use "xml/sources.ml";
|
use "xml/sources.ml";
|
use "parse/sources.ml";
|
use "parse/sources.ml";
|
use "maketest/sources.ml";
|
use "maketest/sources.ml";
|
|
use "mcs51/sources.ml";
|
use "cmdlang/sources.ml";
|
use "cmdlang/sources.ml";
|
use "commands.sig";
|
use "commands.sig";
|
use "commands.sml";
|
use "commands.sml";
|
use "urpal.sml";
|
use "urpal.sml";
|
fun urpal () = ignore (Urpal.main (CommandLine.name (),
|
fun urpal () = ignore (Urpal.main (CommandLine.name (),
|
fun urpal () = ignore (Urpal.main (CommandLine.name (),
|
fun urpal () = ignore (Urpal.main (CommandLine.name (),
|