diff options
author | 2000-06-15 12:53:58 +0000 | |
---|---|---|
committer | 2000-06-15 12:53:58 +0000 | |
commit | 0e26c563a5c219e60c58e97794494e1940f4d5f4 (patch) | |
tree | 9c007bf1414746b00fc58c864b79cab30d29f930 /generic/proof-x-symbol.el | |
parent | 7b89a075f52308e27566686ba0bf86df70505d4b (diff) |
More comments at top of file
Diffstat (limited to 'generic/proof-x-symbol.el')
-rw-r--r-- | generic/proof-x-symbol.el | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el index 9e38cec4..05a3bd96 100644 --- a/generic/proof-x-symbol.el +++ b/generic/proof-x-symbol.el @@ -1,13 +1,19 @@ -;; proof-x-symbol.el Support for x-symbol package +;; proof-x-symbol.el Support for X-Symbol package ;; ;; Copyright (C) 1998,9 LFCS Edinburgh. ;; Author: David Aspinall <da@dcs.ed.ac.uk> +;; Maintainer: Proof General maintainer <proofgen@dcs.ed.ac.uk> +;; +;; The X-Symbol package is currently available at +;; http://www.fmi.uni-passau.de/~wedler/x-symbol ;; ;; 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. ;; -;; Maintainer: Proof General maintainer <proofgen@dcs.ed.ac.uk> +;; 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. ;; ;; proof-x-symbol.el,v 2.4 1999/08/23 18:38:40 da Exp ;; |