From 64bd441ec1076474ba2324f07af03b9048ef39d0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 6 Oct 1999 13:19:14 +0000
Subject: Speed optimizations, part I.

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

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 6f8a7396..b26e1d32 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -943,6 +943,9 @@ the ACS is marked in the current buffer. If CMD does not match any,
 ;; FIXME da: this annoyingly slow even in a buffer only several
 ;; hundred lines long, even when compiled.
 
+;; FIXME da: using the family of functions buffer-syntactic-context-*
+;; may be helpful here.
+
 (defun proof-segment-up-to (pos &optional next-command-end)
   "Create a list of (type,int,string) tuples from end of locked region to POS.
 Each tuple denotes the command and the position of its terminator,
-- 
cgit v1.2.3