diff options
| author | Healfdene Goguen | 1998-06-02 15:35:19 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-06-02 15:35:19 +0000 |
| commit | 2d6272f9ab4f4f3f85f4e1f657fc3d276113161b (patch) | |
| tree | bbdd8f549581a744b95d560beef77d34224c12d2 /script-management.texinfo | |
| parent | fb65a871aff816f39696f5a368313213b0aab41c (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.
Removed emacs-version-at-least.
Removed comment about buffer-display-table.
Moved various comments into documentation string.
Fixed another mode-line command for emacs19.
Diffstat (limited to 'script-management.texinfo')
0 files changed, 0 insertions, 0 deletions