diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-02-16 01:45:05 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-02-16 01:45:05 +0000 |
| commit | 529c4d5397ea71c6a2db9a63791a75c1d25c7e25 (patch) | |
| tree | f3c081ea4b0e74bb8fe7d53472b2446a7caafb3e /isar | |
| parent | aede0ea6f6a1d3172081ab3967dea6be8e34ce89 (diff) | |
Documentation.
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/isar/isar.el b/isar/isar.el index 18a1297b..cf8d73c7 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -221,10 +221,11 @@ See -k option for Isabelle interface script." ;; FIXME: next one is needed for backward compatibility. ;; Would be nice to remove this somehow else, it's only used for - ;; Isar. One way would be to hack the (now obsolete) defpacustom calls. - ;; + ;; Isar and pre-PGIP. One way would be to hack the + ;; (now obsolete) defpacustom calls. proof-assistant-setting-format (unless isa-supports-pgip 'isar-markup-ml) + proof-shell-init-cmd '(proof-assistant-settings-cmd) proof-shell-restart-cmd "ProofGeneral.restart" @@ -234,7 +235,6 @@ See -k option for Isabelle interface script." ;; see isar-pre-shell-start for proof-shell-trace-output-regexp ;; Isabelle is learning to talk PGIP... - ;; FIXME: we need to be backwards compatible here proof-shell-match-pgip-cmd "<pgip" proof-shell-issue-pgip-cmd (if isa-supports-pgip 'isabelle-process-pgip nil) |