From f45e4719e7e78d27566cb141f48afccca1e3fd06 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 9 Sep 1998 14:02:46 +0000
Subject: Added Id to headers.

---
 lego/lego-syntax.el | 3 +++
 lego/lego.el        | 3 +++
 lego/legotags       | 4 +++-
 3 files changed, 9 insertions(+), 1 deletion(-)

(limited to 'lego')

diff --git a/lego/lego-syntax.el b/lego/lego-syntax.el
index 60ede04f..f9fb52d2 100644
--- a/lego/lego-syntax.el
+++ b/lego/lego-syntax.el
@@ -2,6 +2,9 @@
 ;; Copyright (C) 1994, 1995, 1996, 1997 LFCS Edinburgh. 
 ;; Author: Healfdene Goguen, Thomas Kleymann and Dilip Sequeira
 ;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk>
+;;
+;; $Id$
+;;
 
 (require 'proof-syntax)
 
diff --git a/lego/lego.el b/lego/lego.el
index 3dd06ca5..2b83e51a 100644
--- a/lego/lego.el
+++ b/lego/lego.el
@@ -2,6 +2,9 @@
 ;; Copyright (C) 1994 - 1998 LFCS Edinburgh. 
 ;; Author: Thomas Kleymann and Dilip Sequeira
 ;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk>
+;;
+;; $Id$
+;;
 
 (require 'lego-syntax)
 (require 'outline)
diff --git a/lego/legotags b/lego/legotags
index a3c13eab..a5c0f825 100644
--- a/lego/legotags
+++ b/lego/legotags
@@ -1,5 +1,7 @@
 #!/usr/local/bin/perl
-
+#
+# $Id$
+#
 undef $/;
 
 if($#ARGV<$[) {die "No Files\n";}
-- 
cgit v1.2.3