diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2007-12-09 12:19:37 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-09 12:19:37 +0000 |
| commit | 1dea4aca6ce72687c7cfe173b703ba6aa2e152c8 (patch) | |
| tree | 09c40829a888c609f7d404f43d66cdc2106cbe66 /generic | |
| parent | 38072b9cd42819800a7316035fef6aca8a16c47e (diff) | |
Comments.
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 |