From ddfda254d0695ae7f188b6636b1e9ebd6757b84b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 30 Jan 2008 15:45:00 +0000
Subject: Fix RCS tags

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

(limited to 'generic/proof-shell.el')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 3f92a4d8..8d6545bd 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -5,7 +5,7 @@
 ;;            Thomas Kleymann and Dilip Sequeira
 ;; License:   GPL (GNU GENERAL PUBLIC LICENSE)
 ;;
-;; proof-shell.el,v 8.15 2005/09/30 09:45:36 da Exp
+;; $Id$
 ;;
 
 (eval-when-compile
-- 
cgit v1.2.3