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 /todo | |
| 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 'todo')
0 files changed, 0 insertions, 0 deletions