diff options
| author | David Aspinall | 2000-09-28 09:03:56 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-28 09:03:56 +0000 |
| commit | 41ffd7a69ab0c181d6ad3c8866e24b4feebcde70 (patch) | |
| tree | b78c91a29c6d0e796bd35537ea5945caaa595509 /generic/proof-script.el | |
| parent | cf3a7463ade0ffe5a3f20c900cad898074b1a4e4 (diff) | |
Fixes to twelf support, begins to work now.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions