diff options
| author | David Aspinall | 1998-11-18 13:31:43 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-18 13:31:43 +0000 |
| commit | 718938f008dbaa1b086984f98405a042e6b62fff (patch) | |
| tree | 93f51a4ee5e85a939204f43817cead4fc0fc71b1 /generic/proof-syntax.el | |
| parent | 6f875d7e6bdbea0d3be0e8874d447ce924b52577 (diff) | |
Improvements and cleanups:
. Put functions into ProofGeneral structure
. Annotations around ordinary output appear before cr's
. Added clear_response_buffer functionw
. Added special_theories to avoid looking up filenames of
theories which don't have them
Diffstat (limited to 'generic/proof-syntax.el')
0 files changed, 0 insertions, 0 deletions