src/Pure/ProofGeneral/ROOT.ML
changeset 25275 76d7f3fd4fb3
parent 25223 7463251e7273
child 25375 9482ef88e5bc
     1.1 --- a/src/Pure/ProofGeneral/ROOT.ML	Sun Nov 04 16:43:31 2007 +0100
     1.2 +++ b/src/Pure/ProofGeneral/ROOT.ML	Sun Nov 04 17:12:14 2007 +0100
     1.3 @@ -18,8 +18,6 @@
     1.4  (use |> setmp Proofterm.proofs 1 |> setmp quick_and_dirty true) "preferences.ML";
     1.5  use "pgip_parser.ML";
     1.6  
     1.7 -use "parsing.ML";   (* old version *)
     1.8 -
     1.9  use "pgip_tests.ML";
    1.10  
    1.11  use "proof_general_pgip.ML";