diff options
| author | David Aspinall | 2001-08-16 14:57:56 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-08-16 14:57:56 +0000 |
| commit | 24516a280b4e939862f49fe6c800b52c2eaa286b (patch) | |
| tree | 41f4fadb0a9bb816aef6f0cadd8f1432498bbb86 /generic/proof-toolbar.el | |
| parent | aa667ea2b6e6d07a2a4dc728e98005202f1ccb43 (diff) | |
Generate intermediate proof span for contents of proof; other becomes 'goalsave again. Add idiom property.
Diffstat (limited to 'generic/proof-toolbar.el')
0 files changed, 0 insertions, 0 deletions