diff options
| author | Healfdene Goguen | 1998-06-03 13:57:10 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-06-03 13:57:10 +0000 |
| commit | b5dcf23f40912370bc9df28149c55f2a6a08675a (patch) | |
| tree | 530cede8df219fdd1fbd8c9ed3643caa5af7610f /proof.el | |
| parent | a5d0bc098fdc5f492d87e1cf95a75c2d4bc8b52f (diff) | |
Added definition of proof-commands-regexp for coq
Diffstat (limited to 'proof.el')
0 files changed, 0 insertions, 0 deletions