diff options
| author | David Aspinall | 1998-10-01 14:20:10 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-01 14:20:10 +0000 |
| commit | 3cac405701bfd44ba9f6ebf469f52f0f91c6d0a3 (patch) | |
| tree | 480f2e8c91e821441fbcfe8a50539dcc7f63d476 /etc/ProofGeneral.patch | |
| parent | c1001a0e605a185570186fd4f967acf0c8f48bc3 (diff) | |
Added docstrings and comments.
Removed last of "not authorized for this documentation" nonsense.
Replaced constant string "COMMENT" by proof-no-command.
Begun work on new functions: proof-{next,previous}-matching-command.
Work on proof-issue-goal, proof-issue-save (rough edges left as FIXMEs).
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions