From ee53106260209cd41f6eb014458f8ec37664453d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 11 Nov 1999 15:33:44 +0000
Subject: Next round of fixups for font-lock and x-symbol.

---
 generic/proof-syntax.el | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'generic/proof-syntax.el')

diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el
index 37819d8b..f5c7668b 100644
--- a/generic/proof-syntax.el
+++ b/generic/proof-syntax.el
@@ -96,6 +96,9 @@ Default is comma separated, or SEPREGEXP if set."
 
 ;;FIXME: Under FSF Emacs 20.2, when initially fontifying the buffer,
 ;;       commas are not zapped. 
+;; 
+;; FIXME da: this should be more specific!!
+;;
 (defun proof-zap-commas-region (start end &optional length)
   "Remove the face of all `,' within the region (START,END).
 The optional argument LENGTH has no effect. It is required so that we
-- 
cgit v1.2.3