diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-05-29 18:45:33 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-05-29 18:45:33 +0000 |
| commit | 54da849036f0d3b101f2b65789ad2954175cda7a (patch) | |
| tree | 482b75611c3c4a90a6d2b436cd7a7eb51b758f30 /isar/isar.el | |
| parent | b9c7739fed07fc1b649718046f0d2e491a1bd81e (diff) | |
Set settings format function before calculating initial command. Add hilit for goals buffer
Diffstat (limited to 'isar/isar.el')
| -rw-r--r-- | isar/isar.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/isar/isar.el b/isar/isar.el index 5775f24d..893e9b18 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -273,10 +273,10 @@ ;; functions, restoring settings saved by Proof General, etc. proof-shell-pre-sync-init-cmd (isar-verbatim "ProofGeneral.init true;") + proof-assistant-setting-format 'isar-markup-ml proof-shell-init-cmd (proof-assistant-settings-cmd) proof-shell-restart-cmd "ProofGeneral.restart;" proof-shell-quit-cmd (isar-verbatim "quit();") - proof-assistant-setting-format 'isar-markup-ml proof-shell-eager-annotation-start-length 1 proof-shell-eager-annotation-start "\360\\|\362" @@ -569,7 +569,7 @@ proof-shell-retract-files-regexp." (setq pbp-change-goal "Show %s.") (setq pbp-error-regexp proof-shell-error-regexp) (isar-init-output-syntax-table) - (setq font-lock-keywords isar-output-font-lock-keywords-1) + (setq font-lock-keywords isar-goals-font-lock-keywords) (isar-outline-setup) (proof-goals-config-done)) |