From bbd886faac48249cda1e1f45dde35545d5dda51b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 5 May 2000 11:32:19 +0000
Subject: Corrected header.

---
 generic/proof-shell.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 71bee6cf..8761ff68 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -1,4 +1,4 @@
-;; proof-shell.el  Major mode for proof assistant script files.
+;; proof-shell.el  Proof General shell mode.
 ;;
 ;; Copyright (C) 1994-2000 LFCS Edinburgh. 
 ;; Authors: David Aspinall, Yves Bertot, Healfdene Goguen,
-- 
cgit v1.2.3