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/pg-custom.el            | 2 ++
 generic/pg-pbrpm.el             | 2 ++
 generic/pg-vars.el              | 2 ++
 generic/proof-config.el         | 2 --
 generic/proof-shell.el          | 2 +-
 generic/proof-unicode-tokens.el | 2 ++
 6 files changed, 9 insertions(+), 3 deletions(-)

(limited to 'generic')

diff --git a/generic/pg-custom.el b/generic/pg-custom.el
index 2f9ef2f4..b534b44d 100644
--- a/generic/pg-custom.el
+++ b/generic/pg-custom.el
@@ -4,6 +4,8 @@
 ;; Author:      David Aspinall <David.Aspinall@ed.ac.uk> and others
 ;; License:     GPL (GNU GENERAL PUBLIC LICENSE)
 ;;
+;; $Id$
+;;
 ;;; Commentary:
 ;; 
 ;; Prover specific settings
diff --git a/generic/pg-pbrpm.el b/generic/pg-pbrpm.el
index a68caebe..2d6a757f 100644
--- a/generic/pg-pbrpm.el
+++ b/generic/pg-pbrpm.el
@@ -4,6 +4,8 @@
 ;; Authors:   Jean-Roch SOTTY, Christophe Raffalli
 ;; License:   GPL (GNU GENERAL PUBLIC LICENSE)
 ;;
+;; $Id$
+;;
 ;; Analyse the goal buffer to produce a popup menu.
 ;;
 ;; NB: this code is currently XEmacs specific 
diff --git a/generic/pg-vars.el b/generic/pg-vars.el
index 9a68f096..ea535a63 100644
--- a/generic/pg-vars.el
+++ b/generic/pg-vars.el
@@ -4,6 +4,8 @@
 ;; Author:      David Aspinall <David.Aspinall@ed.ac.uk> and others
 ;; License:     GPL (GNU GENERAL PUBLIC LICENSE)
 ;;
+;; $Id$
+;;
 ;;; Commentary:
 ;; 
 ;; Global variables used in several files.
diff --git a/generic/proof-config.el b/generic/proof-config.el
index 6d3853cd..e6026952 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -4,8 +4,6 @@
 ;; Author:      David Aspinall <David.Aspinall@ed.ac.uk> and others
 ;; License:     GPL (GNU GENERAL PUBLIC LICENSE)
 ;;
-;; Maintainer:  Proof General maintainer <da+pg-feedback@inf.ed.ac.uk>
-;;
 ;; $Id$
 ;;
 ;;; Commentary:
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
diff --git a/generic/proof-unicode-tokens.el b/generic/proof-unicode-tokens.el
index 9da6f32a..6d95185f 100644
--- a/generic/proof-unicode-tokens.el
+++ b/generic/proof-unicode-tokens.el
@@ -4,6 +4,8 @@
 ;; Author:    David Aspinall <David.Aspinall@ed.ac.uk>
 ;; License:   GPL (GNU GENERAL PUBLIC LICENSE)
 ;;
+;; $Id$
+;;
 
 (eval-when-compile
   (require 'proof-utils) ; for proof-ass, proof-eval-when-ready-for-assistant
-- 
cgit v1.2.3