From d47e6f73c05d121c7e6fc9475f9209f9a39a4a10 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 22 Sep 1999 15:48:34 +0000
Subject: Whitespace

---
 generic/proof-shell.el | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index aefa4993..b2231348 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -1447,18 +1447,15 @@ before and after sending the command."
   (if wait (proof-shell-wait)))
 
 
-  
-  
-
 
 
 
 
 
 
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-;; Proof General shell mode definition				    ;;
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;
+;; Proof General shell mode definition
+;;
 
 
 ;;###autoload
-- 
cgit v1.2.3