Fix RCS tags

12 files changed, 20 insertions, 4 deletions

diff --git a/bin/proofgeneral b/bin/proofgeneral
index 017f4124..07aab576 100644
--- a/bin/proofgeneral
+++ b/bin/proofgeneral
@@ -20,7 +20,7 @@
 # The default path should work if you are using the Proof General RPM
 # or unpack Proof General in your home directory.
 # NB: no trailing backslash here!
-PGHOMEDEFAULT=$HOME/ProofGeneral
+PGHOMEDEFAULT=/usr/share/emacs/site-lisp/ProofGeneral
 
 # Try to find a default Emacs executable 
 if [ -z "$EMACS" ] || [ ! -x "$EMACS" ]; then
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
diff --git a/lib/holes.el b/lib/holes.el
index 691b974c..87ef86dc 100644
--- a/lib/holes.el
+++ b/lib/holes.el
@@ -1,5 +1,7 @@
 ;;; holes.el --- a little piece of elisp to define holes in your buffer
+;;
 ;; Copyright (C) 2001 Pierre Courtieu
+;; $Id$
 ;;
 ;; This file uses spans, an interface for extent (XEmacs) and overlays
 ;; (emacs), by Healfdene Goguen for the proofgeneral mode.
diff --git a/lib/local-vars-list.el b/lib/local-vars-list.el
index 02327b7f..e6221e9a 100644
--- a/lib/local-vars-list.el
+++ b/lib/local-vars-list.el
@@ -1,7 +1,10 @@
 ;;; local-vars.el --- local variables list utilities
+;;
 ;; Copyright (C) 2006 Pierre Courtieu
 ;; Authors: Pierre Courtieu
 ;; Maintainer: Pierre Courtieu <Pierre.Courtieu@cnam.fr>
+;;
+;; $Id$
 
 ;; This software is free software; you can redistribute it and/or
 ;; modify it under the terms of the GNU General Public
diff --git a/lib/maths-menu.el b/lib/maths-menu.el
index ced0ccba..ab15439f 100644
--- a/lib/maths-menu.el
+++ b/lib/maths-menu.el
@@ -6,6 +6,7 @@
 ;; Keywords: convenience
 
 ;; Version for Proof General minimally modified by David Aspinall, 2007-8.
+;; $Id$
 
 
 ;; This file is free software; you can redistribute it and/or modify
diff --git a/lib/pg-dev.el b/lib/pg-dev.el
index 276a171a..692b4bef 100644
--- a/lib/pg-dev.el
+++ b/lib/pg-dev.el
@@ -4,6 +4,7 @@
 ;; Author:      David Aspinall <David.Aspinall@ed.ac.uk> and others
 ;; License:     GPL (GNU GENERAL PUBLIC LICENSE)
 ;;
+;; $Id$
 ;;
 ;;; Commentary:
 ;; 
diff --git a/lib/unicode-tokens.el b/lib/unicode-tokens.el
index 6ebc8fd1..2f2059ae 100644
--- a/lib/unicode-tokens.el
+++ b/lib/unicode-tokens.el
@@ -2,6 +2,9 @@
 ;;
 ;; Copyright(C) 2008 David Aspinall / LFCS Edinburgh
 ;; Author:    David Aspinall <David.Aspinall@ed.ac.uk>
+;; License:     GPL (GNU GENERAL PUBLIC LICENSE)
+;;
+;; $Id$
 ;;
 ;; This is a partial replacement for X-Symbol for Proof General.
 ;; STATUS: experimental.  Super/subscripts not yet supported.