diff options
| author | Thomas Kleymann | 1998-11-05 15:46:41 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-11-05 15:46:41 +0000 |
| commit | 8bbd767323c5fc14e5f22991e2c800dffd6366da (patch) | |
| tree | dcd2978a2a3de21c8f202459fe91b940ddb76eb1 /generic/proof-script.el | |
| parent | 8e87e720fb393c4d1748f7aedbe366cd12f6770e (diff) | |
completed chapter on LEGO Proof General
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions