From 6c332eae8a8f7b53848b6f34907e48f780108ba8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 6 Oct 1999 10:46:48 +0000
Subject: remove dead code

---
 generic/proof-script.el | 19 -------------------
 1 file changed, 19 deletions(-)

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 7afaf7c4..ad2e47ec 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1293,25 +1293,6 @@ value of proof-locked span."
   "Remove all spans from scripting buffers via proof-restart-buffers."
   (proof-restart-buffers (proof-script-buffers-with-spans)))
 
-;; THIS HAS BEEN REPLACED WITH proof-shell-exit, proof-shell-restart.
-
-;(defun proof-restart-script ()
-;  "Restart Proof General.
-;Re-initialise the proof assistant by sending the restart command,
-;and clear all locked regions."
-;  (interactive)
-;  (proof-script-remove-all-spans-and-deactivate)
-;  (setq proof-included-files nil
-;	proof-shell-busy nil
-;	proof-shell-proof-completed nil)
-;  (if (buffer-live-p proof-shell-buffer) 
-;      (kill-buffer proof-shell-buffer))
-;  (if (buffer-live-p proof-goals-buffer)
-;      (kill-buffer proof-goals-buffer))
-;  (and (buffer-live-p proof-response-buffer)
-;       (kill-buffer proof-response-buffer)))
-
-
 
 ;; A command for making things go horribly wrong - it moves the
 ;; end-of-locked-region marker backwards, so user had better move it
-- 
cgit v1.2.3