diff options
Diffstat (limited to 'generic')
| -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.") |