diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-08-25 12:45:01 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-08-25 12:45:01 +0000 |
| commit | fde342e7ec1670450b1ad922c00cb6f9269e102c (patch) | |
| tree | f7e77e9812d3d814d9a04aaaeb0e4f03bf4ca7de | |
| parent | 545cb2c9cb826337c2d4b9995f5766eb72fb1584 (diff) | |
Comment
| -rw-r--r-- | generic/proof-x-symbol.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el index 7f17adc2..f9ad173d 100644 --- a/generic/proof-x-symbol.el +++ b/generic/proof-x-symbol.el @@ -46,10 +46,11 @@ ;; ;; -- Is it possible to remove setting of language in x-symbol-enable? ;; -- Simplify proof-x-symbol-initialize -;; -- Investigate font-lock errors (XEmacs 21.4.8): +;; -- Investigate font-lock errors (XEmacs 21.4.15): ;; Error caught in `font-lock-pre-idle-hook': (wrong-type-argument markerp nil) + (defvar proof-x-symbol-initialized nil "Non-nil if x-symbol support has been initialized.") |