changeset 22010 | f3d550d2b145 |
parent 21997 | 6e3a0b25cda5 |
child 22589 | 18735b5fef26 |
--- a/src/Pure/ProofGeneral/pgip_standalone.ML Thu Jan 04 21:36:52 2007 +0100 +++ b/src/Pure/ProofGeneral/pgip_standalone.ML Thu Jan 04 21:37:02 2007 +0100 @@ -28,8 +28,6 @@ use "General/xml.ML"; (* used directly *) use "General/url.ML"; (* used directly *) -use "ProofGeneral/syntax_standalone.ML"; - (* Our code *)