src/Pure/ROOT.ML
changeset 30639 fe40d740d7c1
parent 30559 e5987a7ac5df
child 30834 1640e0625301
equal deleted inserted replaced
30638:15cc4ad0e6e9 30639:fe40d740d7c1
    99 use "codegen.ML";
    99 use "codegen.ML";
   100 
   100 
   101 (*configuration for Proof General*)
   101 (*configuration for Proof General*)
   102 cd "ProofGeneral"; use "ROOT.ML"; cd "..";
   102 cd "ProofGeneral"; use "ROOT.ML"; cd "..";
   103 
   103 
       
   104 if ml_system = "polyml-experimental" then use "ML/ml_test.ML" else ();
   104 use "pure_setup.ML";
   105 use "pure_setup.ML";
       
   106