1.1 --- a/src/Pure/ROOT.ML Mon Jun 01 23:28:05 2009 +0200
1.2 +++ b/src/Pure/ROOT.ML Mon Jun 01 23:28:06 2009 +0200
1.3 @@ -56,6 +56,10 @@
1.4 use "General/secure.ML";
1.5 use "General/file.ML";
1.6
1.7 +if ml_system = "polyml-experimental"
1.8 +then use "ML/ml_compiler_polyml-5.3.ML"
1.9 +else use "ML/ml_compiler.ML";
1.10 +
1.11 (*core of tactical proof system*)
1.12 use "net.ML";
1.13 use "item_net.ML";
1.14 @@ -106,6 +110,5 @@
1.15 (*configuration for Proof General*)
1.16 cd "ProofGeneral"; use "ROOT.ML"; cd "..";
1.17
1.18 -if ml_system = "polyml-experimental" then use "ML/ml_test.ML" else ();
1.19 use "pure_setup.ML";
1.20