diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-03-24 15:42:35 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-24 15:42:35 +0000 |
| commit | c8b961e1b5fbfc8e94b472cfdbb96b0b83fb2e89 (patch) | |
| tree | 48e43a07143e78b1c63cd5445bc07c6c422313a9 /coq | |
| parent | 70f4ac04752c8f17d397939fe362ffce73813cb7 (diff) | |
3.1 not 3.2 change
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/coq.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -191,7 +191,7 @@ ((proof-string-match (concat "\\`\\(" coq-keywords-decl-defn-regexp "\\)\\s-*\\(" proof-id - ;; da: PG 3.2: I added "." here to try + ;; da: PG 3.1: I added "." here to try ;; to get undo for Section working. ;; (also changes in coq-syntax) ;; Coq users will have to tell me if it |