diff options
| author | Healfdene Goguen | 1998-06-02 15:34:58 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-06-02 15:34:58 +0000 |
| commit | fb65a871aff816f39696f5a368313213b0aab41c (patch) | |
| tree | f8e492122723836bef758cfcb8f973c3b5800506 /proof.el | |
| parent | 20b647c990db1f53ab1b92d14a192224917c0bf3 (diff) | |
Generalized proof-retract-target, now parameterized by
proof-count-undos and proof-find-and-forget.
Generalized proof-shell-analyse-structure, introduced variable
proof-analyse-using-stack.
Generalized proof menu plus ancillary functions.
Generalized proof-mode-version-string.
Moved various comments into documentation string.
Diffstat (limited to 'proof.el')
0 files changed, 0 insertions, 0 deletions