diff options
| author | Healfdene Goguen | 1997-10-17 14:51:48 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1997-10-17 14:51:48 +0000 |
| commit | f006de119f34175f5a2359c1540d969b1c99d60e (patch) | |
| tree | 4ad771d2407771def5b35031e942d04162b0238f /proof.el | |
| parent | 997915300fce0a4d8bf11cd1a3c9ea7762e11640 (diff) | |
Fixed coq-shell-prompt-pattern to reflect proof-id
Changed ";" to "." in coq-save-with-hole-regexp
New modifications to syntax table to reflect actual use of symbols in Coq
Diffstat (limited to 'proof.el')
0 files changed, 0 insertions, 0 deletions