From 529c4d5397ea71c6a2db9a63791a75c1d25c7e25 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 16 Feb 2003 01:45:05 +0000 Subject: Documentation. --- isar/isar.el | 6 +++--- 1 file 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 "