From ba7bd55aae4cdd630981cf5d9b98019f92e9d9f0 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Tue, 27 Apr 1999 15:54:12 +0000
Subject: fixed proof-shell-quit-cmd;

---
 isar/isar.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/isar/isar.el b/isar/isar.el
index 85d4dde5..57797302 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -179,8 +179,8 @@
    ;; initial command configures Isabelle/Isar by hacking print functions.
    proof-shell-init-cmd
     (concat "use \"" proof-home-directory "isar/ProofGeneral.ML\";")
-   proof-shell-restart-cmd		"restart"
-   proof-shell-quit-cmd			"quit"
+   proof-shell-restart-cmd		"restart;"
+   proof-shell-quit-cmd			"quit;"
    
    proof-shell-eager-annotation-start   "\360\\|\362"
    proof-shell-eager-annotation-end     "\361\\|\363"
-- 
cgit v1.2.3