Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed IsaPlannner things from Pure. Moved to Provers.
authordixon
Sun, 11 Jun 2006 00:38:45 +0200
changeset 19837 a2e93327daa3
parent 19836 5181e317e9ff
child 19838 edc3d1af3b77
removed IsaPlannner things from Pure. Moved to Provers.
src/Pure/ROOT.ML file | annotate | diff | comparison | revisions 
--- 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*)
isabelle