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