src/Pure/ROOT.ML
changeset 31333 fcd010617e6c
parent 31326 deddd77112b7
child 31335 ba5b7749fa61
     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