diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-02-24 12:41:08 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-02-24 12:41:08 +0000 |
| commit | edb1b18ef70cb03dfa942e30caa6597398838ee0 (patch) | |
| tree | 1c29f1b0ba2a5e97e30e9eda2339178e0c183a0f /generic | |
| parent | a20be7e3a9ce87631b7d39a7815a4edfcc7a0992 (diff) | |
Documentation.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-x-symbol.el | 17 |
1 files changed, 12 insertions, 5 deletions
diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el index 273d44bf..5c763e02 100644 --- a/generic/proof-x-symbol.el +++ b/generic/proof-x-symbol.el @@ -3,6 +3,7 @@ ;; Copyright (C) 1998-2002 LFCS Edinburgh ;; Author: David Aspinall <da@dcs.ed.ac.uk> ;; License: GPL (GNU GENERAL PUBLIC LICENSE) +;; Id: $Id$ ;; ;; The X-Symbol package is at http://x-symbol.sourceforge.net/ ;; @@ -14,11 +15,10 @@ ;; ;; ================================================================ ;; -;; 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. -;; -;; $Id$ +;; NB: X-Symbol is now bundled with Proof General, and PG will select +;; it's own version before any other version on the Emacs load path. +;; If you want to override this, simply load your version before +;; starting Emacs, with (require 'x-symbol-hooks). ;; ;; ================================================================= ;; @@ -34,6 +34,13 @@ ;; set `x-symbol-language', and call `x-symbol-decode' or ;; `x-symbol-decode-region', via `proof-fontify-region' (which see). ;; +;; ================================================================ +;; +;; 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. +;; + (defvar proof-x-symbol-initialized nil |