diff options
| author | Thomas Kleymann | 1998-11-05 16:25:17 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-11-05 16:25:17 +0000 |
| commit | 941138860e59812bdfb5475217479592e8ca3284 (patch) | |
| tree | 990e38b61a6ee56afaa578482ed7bfd2c83c6c96 /generic/proof-script.el | |
| parent | 8bbd767323c5fc14e5f22991e2c800dffd6366da (diff) | |
completed chapter on Known bugs. However section on Isabelle Proof
General specific bugs is still missing.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions