diff options
| author | David Aspinall | 1998-09-09 14:02:46 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-09 14:02:46 +0000 |
| commit | f45e4719e7e78d27566cb141f48afccca1e3fd06 (patch) | |
| tree | b1c60befcda607743a068397b03dcb20aceaf952 /lego | |
| parent | a4c0501d4007ad5f2d2f43c2cb5d1d5f137c6618 (diff) | |
Added Id to headers.
Diffstat (limited to 'lego')
| -rw-r--r-- | lego/lego-syntax.el | 3 | ||||
| -rw-r--r-- | lego/lego.el | 3 | ||||
| -rw-r--r-- | lego/legotags | 4 |
3 files changed, 9 insertions, 1 deletions
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";} |