diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-07-16 11:59:59 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-07-16 11:59:59 +0000 |
| commit | 6310e9f4a781b4bb12946204f033c5e298e2f831 (patch) | |
| tree | 9b668afc5d5a772879fcc3d063aacfc2bd114693 /generic | |
| parent | c602e0c1e439a08120388489bd8265837a005c5e (diff) | |
Comments
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-x-symbol.el | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el index fd42b4f9..ddc72524 100644 --- a/generic/proof-x-symbol.el +++ b/generic/proof-x-symbol.el @@ -4,16 +4,15 @@ ;; Author: David Aspinall <da@dcs.ed.ac.uk> ;; License: GPL (GNU GENERAL PUBLIC LICENSE) ;; -;; The X-Symbol package is currently available at -;; http://x-symbol.sourceforge.net/ +;; The X-Symbol package is at http://x-symbol.sourceforge.net/ ;; -;; With thanks to David von Oheimb for providing the original -;; patches for using X-Symbol with Isabelle Proof General, -;; and helping to write this file. +;; With enormous thanks to David von Oheimb for providing the original +;; patches for using X-Symbol with Isabelle Proof General, and helping +;; to write this file. ;; -;; This file is standalone so that the X-Symbol mode for particular -;; proof assistants may be used elsewhere (e.g. in document modes), -;; without loading all of Proof General. +;; Ideally this file ought to be standalone so that the X-Symbol mode +;; for particular proof assistants may be used elsewhere (e.g. in +;; document modes), without loading all of Proof General. ;; ;; proof-x-symbol.el,v 2.4 1999/08/23 18:38:40 da Exp ;; |