Use pgml
authoraspinall
Wed Jul 04 21:19:34 2007 +0200 (2007-07-04)
changeset 2357037532c9df22c
parent 23569 6be49c181c66
child 23571 0cd175710a93
Use pgml
src/Pure/ProofGeneral/ROOT.ML
     1.1 --- a/src/Pure/ProofGeneral/ROOT.ML	Wed Jul 04 17:21:02 2007 +0200
     1.2 +++ b/src/Pure/ProofGeneral/ROOT.ML	Wed Jul 04 21:19:34 2007 +0200
     1.3 @@ -10,8 +10,10 @@
     1.4  use "pgip_input.ML";
     1.5  use "pgip_output.ML";
     1.6  use "pgip.ML";
     1.7 +use "pgml.ML";
     1.8  
     1.9  use "pgip_isabelle.ML";
    1.10 +(*use "pgml_isabelle.ML";*)
    1.11  use "preferences.ML";
    1.12  use "parsing.ML";
    1.13