Added Id to headers.

4 files changed, 4 insertions, 76 deletions

diff --git a/generic/pbp.el b/generic/pbp.el
index 23ffdd68..921765fb 100644
--- a/generic/pbp.el
+++ b/generic/pbp.el
@@ -1,2 +1,3 @@
+;; $Id$
 
 (provide 'pbp)
diff --git a/generic/proof.el b/generic/proof.el
index c343c83f..f2c5e2e4 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -6,6 +6,7 @@
 ;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk>
 ;; Thanks to Robert Boyer, Rod Burstall,
 ;;           James McKinna, Mark Ruys, Martin Steffen, Perdita Stevens
+;;
 ;; $Id$
 
 (require 'proof-site)
diff --git a/generic/span-extent.el b/generic/span-extent.el
index cc74eee6..0a9777c8 100644
--- a/generic/span-extent.el
+++ b/generic/span-extent.el
@@ -4,25 +4,7 @@
 
 ;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk>
 
-;; $Log$
-;; Revision 2.0  1998/09/09 13:57:45  da
-;; Fixup branch number
-;;
-;; Revision 1.1  1998/09/03 13:51:33  da
-;; Renamed for new subdirectory structure
-;;
-;; Revision 2.0  1998/08/11 15:00:13  da
-;; New branch
-;;
-;; Revision 1.4  1998/06/10 14:01:48  hhg
-;; Wrote generic span functions for making spans read-only or read-write.
-;;
-;; Revision 1.3  1998/06/02 15:36:44  hhg
-;; Corrected comment about this being for xemacs.
-;;
-;; Revision 1.2  1998/05/19 15:30:27  hhg
-;; Added header and log message.
-;;
+;; $Id$
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;               Bridging the emacs19/xemacs gulf                   ;;
diff --git a/generic/span-overlay.el b/generic/span-overlay.el
index 228a3967..3d816272 100644
--- a/generic/span-overlay.el
+++ b/generic/span-overlay.el
@@ -4,63 +4,7 @@
 
 ;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk>
 
-;; $Log$
-;; Revision 2.0  1998/09/09 13:57:46  da
-;; Fixup branch number
-;;
-;; Revision 1.1  1998/09/03 13:51:34  da
-;; Renamed for new subdirectory structure
-;;
-;; Revision 2.0  1998/08/11 15:00:13  da
-;; New branch
-;;
-;; Revision 1.9  1998/06/10 14:02:39  hhg
-;; Wrote generic span functions for making spans read-only or read-write.
-;; Fixed bug in add-span and remove-span concerning return value of
-;; span-traverse.
-;;
-;; Revision 1.8  1998/06/10 12:41:47  hhg
-;; Compare span-end first rather than span-start in span-lt, because
-;; proof-lock-span is often changed and has starting point 1.
-;; Factored out common code of add-span and remove-span into
-;; span-traverse.
-;;
-;; Revision 1.7  1998/06/03 17:40:07  hhg
-;; Changed last-span to before-list.
-;; Added definitions of foldr and foldl if they aren't already loaded.
-;; Changed definitions of add-span, remove-span and find-span-aux to be
-;; non-recursive.
-;; Removed detach-extent since this file isn't used by xemacs.
-;; Added function append-unique to avoid repetitions in list generated by
-;; spans-at-region.
-;; Changed next-span so it uses member-if.
-;;
-;; Revision 1.6  1998/06/02 15:36:51  hhg
-;; Corrected comment about this being for emacs19.
-;;
-;; Revision 1.5  1998/05/29 09:50:10  tms
-;; o outsourced indentation to proof-indent
-;; o support indentation of commands
-;; o replaced test of Emacs version with availability test of specific
-;;   features
-;; o C-c C-c, C-c C-v and M-tab is now available in all buffers
-;;
-;; Revision 1.4  1998/05/21 17:27:41  hhg
-;; Removed uninitialized os variable in spans-at-region.
-;;
-;; Revision 1.3  1998/05/21 08:28:52  hhg
-;; Initialize 'before pointer in add-span-aux when last-span is nil.
-;; Removed span-at-type.
-;; Fixed bug in span-at-before, where (span-start span) may be nil.
-;; Added spans-at-(point|region)[-prop], which fixes bug of C-c u at end
-;; of buffer.
-;;
-;; Revision 1.2  1998/05/19 15:31:37  hhg
-;; Added header and log message.
-;; Fixed set-span-endpoints so it preserves invariant.
-;; Changed add-span and remove-span so that they update last-span
-;; correctly themselves, and don't take last-span as an argument.
-;;
+;; $Id$
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;               Bridging the emacs19/xemacs gulf                   ;;