From 6310e9f4a781b4bb12946204f033c5e298e2f831 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 16 Jul 2002 11:59:59 +0000 Subject: Comments --- generic/proof-x-symbol.el | 15 +++++++-------- 1 file changed, 7 insertions(+), 8 deletions(-) (limited to 'generic') 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 ;; 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 ;; -- cgit v1.2.3