From a69de67e4b47807b19edcd0d24d8aaa452e922f9 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 3 Sep 1999 16:27:16 +0000
Subject: proof-shell-restart-cmd: include welcome;

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

diff --git a/isar/isar.el b/isar/isar.el
index 4e0b9371..1a4f73ab 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -208,7 +208,7 @@
    proof-shell-goal-char	        ?\370
    ;; initial command configures Isabelle/Isar by modifying print functions etc.
    proof-shell-init-cmd                 "ProofGeneral.init true;"
-   proof-shell-restart-cmd		"init_toplevel; touch_all_thys;"
+   proof-shell-restart-cmd		"init_toplevel; touch_all_thys; welcome;"
    proof-shell-quit-cmd			"quit();"
    
    proof-shell-eager-annotation-start   "\360\\|\362"
-- 
cgit v1.2.3