--- a/src/Pure/ROOT.ML Sun Jun 11 00:36:17 2006 +0200
+++ b/src/Pure/ROOT.ML Sun Jun 11 00:38:45 2006 +0200
@@ -72,9 +72,6 @@
use "Proof/extraction.ML";
-(*the IsaPlanner subsystem*)
-cd "IsaPlanner"; use "ROOT.ML"; cd "..";
-
cd "Tools"; use "ROOT.ML"; cd "..";
(*configuration for Proof General*)