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 /generic/proof.el | |
| parent | a4c0501d4007ad5f2d2f43c2cb5d1d5f137c6618 (diff) | |
Added Id to headers.
Diffstat (limited to 'generic/proof.el')
| -rw-r--r-- | generic/proof.el | 1 |
1 files changed, 1 insertions, 0 deletions
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) |