equal
deleted
inserted
replaced
70 (*the Isar system*) |
70 (*the Isar system*) |
71 cd "Isar"; use "ROOT.ML"; cd ".."; |
71 cd "Isar"; use "ROOT.ML"; cd ".."; |
72 |
72 |
73 use "Proof/extraction.ML"; |
73 use "Proof/extraction.ML"; |
74 |
74 |
75 (*the IsaPlanner subsystem*) |
|
76 cd "IsaPlanner"; use "ROOT.ML"; cd ".."; |
|
77 |
|
78 cd "Tools"; use "ROOT.ML"; cd ".."; |
75 cd "Tools"; use "ROOT.ML"; cd ".."; |
79 |
76 |
80 (*configuration for Proof General*) |
77 (*configuration for Proof General*) |
81 (use |> setmp proofs 1 |> setmp quick_and_dirty true) "proof_general.ML"; |
78 (use |> setmp proofs 1 |> setmp quick_and_dirty true) "proof_general.ML"; |
82 |
79 |