Make proof-assistants-settings-cmd be evaluated at right time.

2 files changed, 2 insertions, 2 deletions

diff --git a/isa/isa.el b/isa/isa.el
index b433e6d7..3d21f61f 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -183,7 +183,7 @@ and script mode."
    ;; restoring settings saved by Proof General, etc.
 
    proof-shell-pre-sync-init-cmd	"ProofGeneral.init false;"
-   proof-shell-init-cmd		        (proof-assistant-settings-cmd)
+   proof-shell-init-cmd		        '(proof-assistant-settings-cmd)
 
    proof-shell-restart-cmd		"ProofGeneral.isa_restart();"
    proof-shell-quit-cmd			"quit();"
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