diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-x-symbol.el | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el index 37599116..3ab3c9d4 100644 --- a/generic/proof-x-symbol.el +++ b/generic/proof-x-symbol.el @@ -42,13 +42,10 @@ ;; ;; ================================================================= -;; Current TODO here: +;; Questions here: ;; ;; -- Is it possible to remove setting of language in x-symbol-enable? ;; -- Simplify proof-x-symbol-initialize -;; -- 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 |