diff options
| author | David Aspinall | 2000-05-12 17:07:06 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-12 17:07:06 +0000 |
| commit | 81a558cfe314cc98582e6fb711fbb1d7e1738ea5 (patch) | |
| tree | 675e9bd06926cb01d8b0d85ff953110de76bb841 | |
| parent | f9ba1c4e0cd55f068986419fe02d81b4258e3102 (diff) | |
Modification of proof-shell-init-cmd. Markus, please help...
| -rw-r--r-- | isar/isar.el | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/isar/isar.el b/isar/isar.el index ca37f6fd..ebd89ce0 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -193,7 +193,6 @@ (setq proof-assistant-home-page isabelle-web-page proof-mode-for-script 'isar-proofscript-mode - proof-assistant-menu-entries isabelle-menu-entries ;; proof script syntax proof-terminal-char ?\; ; ends a proof proof-comment-start "(*" ; comment in a proof @@ -273,9 +272,17 @@ proof-shell-start-goals-regexp "\366\n" proof-shell-end-goals-regexp "\367" proof-shell-goal-char ?\370 - ;; initial command configures Isabelle/Isar by modifying print functions etc. + + ;; initial command configures Isabelle/Isar by modifying print + ;; functions, restoring settings saved by Proof General, etc. proof-shell-init-cmd (concat - (isar-verbatim "ProofGeneral.init true;") + (isar-verbatim + "ProofGeneral.init true;") + ;; FIXME: markus, could you sort this? + ;; Doesn't seem to work, maybe + ;; should be done later? with verb? + ;; or before PG.init without m/u? + "\n" (isabelle-set-default-cmd)) proof-shell-restart-cmd "ProofGeneral.restart;" proof-shell-quit-cmd (isar-verbatim "quit();") |