# HG changeset patch
# User dixon
# Date 1149979125 -7200
# Node ID a2e93327daa3794ea747911cd05fb51a4b80f426
# Parent  5181e317e9fff375f71a901ddbcba398ab5dbffb
removed IsaPlannner things from Pure. Moved to Provers.

diff -r 5181e317e9ff -r a2e93327daa3 src/Pure/ROOT.ML
--- 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*)