diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-09-20 14:41:55 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-20 14:41:55 +0000 |
| commit | e8c2ebdc13064a029853d65657c8a0e92fa149d6 (patch) | |
| tree | 1229e7b43530cd72afae3abc4ef3cbb01cf84dfb /generic | |
| parent | 0234a74ccd612c7e9bfcbed6f26962a7098e34bb (diff) | |
Comments
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-script.el | 6 |
1 files changed, 1 insertions, 5 deletions
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. |