From b498c53c036b930376165874542c693a2148e227 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 21 Nov 2002 16:38:14 +0000
Subject: Updated.

---
 isar/isar.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/isar/isar.el b/isar/isar.el
index ac422af8..efad1f03 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -216,7 +216,8 @@ See -k option for Isabelle interface script."
    proof-shell-end-goals-regexp         "\367"
    pg-topterm-char			?\370
 
-   proof-assistant-setting-format       'isar-markup-ml
+   ;; FIXME: need to set this for backward compatibility
+   ;; 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