From 801b00c8bbce3e973eac45e8ecf3d3aa3678e116 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 23 Sep 1999 17:08:19 +0000
Subject: Trivial.

---
 generic/proof-shell.el | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 7595e3f7..24ae9e5e 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -192,9 +192,12 @@ Runs proof-state-change-hook to notify state change."
 Also generates goal and response buffers.
 Does nothing if proof assistant is already running."
   (interactive)
-  (if (proof-shell-live-buffer)
-      ()
+  (unless (proof-shell-live-buffer)
+
+    ;; This should configure the generic variables
     (run-hooks 'proof-pre-shell-start-hook)
+
+    ;; Clear some state
     (setq proof-included-files-list nil)
 
     ;; Added 05/99 by Patrick L.
-- 
cgit v1.2.3