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