diff options
| author | Healfdene Goguen | 1997-10-30 15:58:33 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1997-10-30 15:58:33 +0000 |
| commit | dbaa145b6a390b2febaf0cff7b3a759d6589d819 (patch) | |
| tree | 63f9675325bf3ccb1661554f25f261dcfe45d0e9 /coq.el | |
| parent | 88c3310c6dcde027d1e70d7a0cbf711f6972d842 (diff) | |
Updates for coq, including:
* pbp-goal-command and pbp-hyp-command use proof-terminal-string
* updates to keywords
* fix for goal regexp
Diffstat (limited to 'coq.el')
| -rw-r--r-- | coq.el | 10 |
1 files changed, 8 insertions, 2 deletions
@@ -3,6 +3,12 @@ ;; Author: Healfdene Goguen and Thomas Kleymann ;; $Log$ +;; Revision 1.7 1997/10/30 15:58:31 hhg +;; Updates for coq, including: +;; * pbp-goal-command and pbp-hyp-command use proof-terminal-string +;; * updates to keywords +;; * fix for goal regexp +;; ;; Revision 1.6 1997/10/24 14:51:09 hhg ;; Fixed coq-count-undos for comments ;; @@ -481,7 +487,7 @@ proof-shell-start-char ?\372 ; not done proof-shell-end-char ?\373 ; not done proof-shell-field-char ?\374 ; not done - proof-shell-goal-char ?\375 ; done but not working + proof-shell-goal-char ?\375 ; done proof-shell-eager-annotation-start "\376" ; done proof-shell-eager-annotation-end "\377" ; done proof-shell-annotated-prompt-regexp @@ -489,7 +495,7 @@ (char-to-string proof-shell-wakeup-char)) ; done proof-shell-result-start "\372 Pbp result \373" proof-shell-result-end "\372 End Pbp result \373" - proof-shell-start-goals-regexp "[0-9]+ subgoal[s]" + proof-shell-start-goals-regexp "[0-9]+ subgoals?" proof-shell-end-goals-regexp proof-shell-annotated-prompt-regexp proof-shell-init-cmd coq-process-config proof-shell-config 'coq-shell-adjust-line-width |