| changeset 15481 | fc075ae929e4 |
| parent 15006 | 107e4dfd3b96 |
| child 15596 | 8665d08085df |
--- a/src/Pure/ROOT.ML Sun Jan 30 20:48:50 2005 +0100 +++ b/src/Pure/ROOT.ML Tue Feb 01 18:01:57 2005 +0100 @@ -66,6 +66,9 @@ (*old-style goal package*) use "goals.ML"; +(*the IsaPlanner subsystem*) +cd "IsaPlanner"; use "ROOT.ML"; cd ".."; + (*configuration for Proof General*) use "proof_general.ML";