src/Pure/ProofGeneral/ROOT.ML
changeset 23793 b04afc51914c
parent 23610 5ade06703b07
child 24529 afd2be8a9aba
     1.1 --- a/src/Pure/ProofGeneral/ROOT.ML	Wed Jul 11 19:22:05 2007 +0200
     1.2 +++ b/src/Pure/ProofGeneral/ROOT.ML	Thu Jul 12 00:15:26 2007 +0200
     1.3 @@ -15,7 +15,9 @@
     1.4  use "pgip_isabelle.ML";
     1.5  use "pgml_isabelle.ML";
     1.6  use "preferences.ML";
     1.7 -use "parsing.ML";
     1.8 +use "pgip_parser.ML";
     1.9 +
    1.10 +use "parsing.ML";   (* old version *)
    1.11  
    1.12  use "pgip_tests.ML";
    1.13