From 3d24958fe1b4db950e5f4cb45ca5db122a84f62b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 25 Apr 2000 12:04:08 +0000
Subject: Note about efficiency/bug fix by Markus.

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

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 00e7c564..6d2708b2 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1182,12 +1182,6 @@ the ACS is marked in the current buffer. If CMD does not match any,
 ;; Emacs should be better at skipping whitespace and comments than the
 ;; proof process itself!
 
-;; FIXME da: this annoyingly slow even in a buffer only several
-;; hundred lines long, even when compiled.
-;; One improvement would be to make a list of buffer *positions*
-;; rather than strings, or at least, not by allocating a
-;; string possibly as large as the buffer!!!
-
 ;; FIXME da: using the family of functions buffer-syntactic-context-*
 ;; may be helpful here.
 
-- 
cgit v1.2.3