From 449bc5f43bdff6a626dc2bb3cf2b9258165a6fd4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 30 Sep 2005 10:26:19 +0000
Subject: Remove proof-assistant-settings-cmd, now issued as standard.

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

diff --git a/isa/isa.el b/isa/isa.el
index cfe8303a..32ec46fb 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		        nil
 
    proof-shell-restart-cmd		"ProofGeneral.isa_restart();"
    proof-shell-quit-cmd			"quit();"
-- 
cgit v1.2.3