From 1dea4aca6ce72687c7cfe173b703ba6aa2e152c8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 9 Dec 2007 12:19:37 +0000
Subject: Comments.

---
 generic/proof-x-symbol.el | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'generic')

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
-- 
cgit v1.2.3