diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-10-06 13:19:14 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-10-06 13:19:14 +0000 |
| commit | 64bd441ec1076474ba2324f07af03b9048ef39d0 (patch) | |
| tree | f52fefdfbd73794d12c488b33df1184e5a94b233 /generic/proof-script.el | |
| parent | ca9b0ce54d1b78571c3e5782ba9f85790f8a9508 (diff) | |
Speed optimizations, part I.
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 3 |
1 files changed, 3 insertions, 0 deletions
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, |