From e8c2ebdc13064a029853d65657c8a0e92fa149d6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 20 Sep 2000 14:41:55 +0000
Subject: Comments

---
 generic/proof-script.el | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 7fb1e4cb..3c21b62f 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1182,16 +1182,12 @@ the ACS is marked in the current buffer. If CMD does not match any,
 
 ;; NEW parsing functions for 3.2
 ;;
-;; FIXME da: this version is XEmacs specific, using
-;; bultin buffer-syntactic-context.  Means we don't need to
-;; parse strings and comments ourselves.
-;;
 ;; NB: compared with old code,
 ;; (1) this doesn't treat comments quite so well, but parsing
 ;; should be rather more efficient.
 ;; (2) comments are treated less like commands, and are only
 ;; coloured blue "in passing" when commands are sent.
-
+;; However, undo still process comments step-by-step.
 
 (defun proof-segment-up-to-cmdstart (pos &optional next-command-end)
   "Parse the script buffer from end of locked to POS.
-- 
cgit v1.2.3