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