diff options
| author | David Aspinall | 2002-07-01 00:27:43 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-01 00:27:43 +0000 |
| commit | 562fe97c4e506cf7f748d58c0e877359c0623b3e (patch) | |
| tree | 73c6792c6fa703e8f480fb66f963c46e0f762fbb /generic/proof-script.el | |
| parent | 0784610ca6e3f5d985c7797277bf9e23e951021e (diff) | |
Doc difference between isa and isar, fix prob with isa support.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions