From f3156e7062a140c9d7a2f00f4bdb615a57e503ef Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 20 Nov 2002 12:24:13 +0000
Subject: Make proof-assistants-settings-cmd be evaluated at right time.

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

(limited to 'isar')

diff --git a/isar/isar.el b/isar/isar.el
index 0775b018..ac422af8 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -217,7 +217,7 @@ See -k option for Isabelle interface script."
    pg-topterm-char			?\370
 
    proof-assistant-setting-format       'isar-markup-ml
-   proof-shell-init-cmd                 (proof-assistant-settings-cmd)
+   proof-shell-init-cmd                 '(proof-assistant-settings-cmd)
    proof-shell-restart-cmd              "ProofGeneral.restart"
 
    proof-shell-eager-annotation-start-length 1
-- 
cgit v1.2.3