diff options
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";} |