From bf264b13eafad2e38470f4363f1de105ffac7484 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 28 Nov 2002 12:45:38 +0000
Subject: Docstring

---
 isar/isar.el | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/isar/isar.el b/isar/isar.el
index efad1f03..8902ad49 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -216,7 +216,10 @@ See -k option for Isabelle interface script."
    proof-shell-end-goals-regexp         "\367"
    pg-topterm-char			?\370
 
-   ;; FIXME: need to set this for backward compatibility
+   ;; 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.
+   ;; 
    ;; proof-assistant-setting-format       'isar-markup-ml
    proof-shell-init-cmd                 '(proof-assistant-settings-cmd)
    proof-shell-restart-cmd              "ProofGeneral.restart"
-- 
cgit v1.2.3