diff options
| author | Healfdene Goguen | 1997-11-06 16:55:49 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1997-11-06 16:55:49 +0000 |
| commit | 31081a156b73c22b5eaf18678fcbfbcffc0dc830 (patch) | |
| tree | bc1e70a91c87a3d62e0457b7e562b522fbcbd1ab /proof.el | |
| parent | 8426dacbd89350acca31c8552df80f3bcf68252e (diff) | |
Assign new variable proof-goal-hyp-fn to coq-goal-hyp, which advances
over coq-goal-regexp to pick up goal for pbp
Diffstat (limited to 'proof.el')
0 files changed, 0 insertions, 0 deletions