diff options
| author | David Aspinall | 2002-07-16 23:11:42 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-16 23:11:42 +0000 |
| commit | 0f4feea9ca0163946b2a971657b8e71c2931044d (patch) | |
| tree | 8507aa084284960e2443c7ac693b8e524abb7d9f /generic/proof-compat.el | |
| parent | 4dfaa3700086d0cb6c9d8518dac894e58fa7f7a9 (diff) | |
Refactor several variable names; clean up, doc subterm markup and output display.
Diffstat (limited to 'generic/proof-compat.el')
| -rw-r--r-- | generic/proof-compat.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-compat.el b/generic/proof-compat.el index 577fbdc7..ac4b74bb 100644 --- a/generic/proof-compat.el +++ b/generic/proof-compat.el @@ -1,4 +1,4 @@ -;; proof-comapt.el Operating system and Emacs version compatibility +;; proof-compat.el Operating system and Emacs version compatibility ;; ;; Copyright (C) 2000-2002 LFCS Edinburgh. ;; Author: David Aspinall <da@dcs.ed.ac.uk> and others |