From f01e8a5a6a189affb6a2aaaae62a15eb2ba17db5 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 21 Dec 2001 23:06:42 +0000
Subject: do not set proof-shell-quit-cmd (admits persistent sessions);

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

diff --git a/isar/isar.el b/isar/isar.el
index bc487727..79ba6f43 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -201,7 +201,6 @@
    proof-assistant-setting-format       'isar-markup-ml
    proof-shell-init-cmd                 (proof-assistant-settings-cmd)
    proof-shell-restart-cmd              "ProofGeneral.restart"
-   proof-shell-quit-cmd                 "quit();"
 
    proof-shell-eager-annotation-start-length 1
    proof-shell-eager-annotation-start   "\360\\|\362"
-- 
cgit v1.2.3