diff options
| author | David Aspinall | 1999-08-27 14:35:41 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-08-27 14:35:41 +0000 |
| commit | 1e2c78ab5f1720de315a998d3162886af77bcf97 (patch) | |
| tree | d68360b5a4cbb8afd9f190d45ecaceaae7a6c23f /generic/proof-script.el | |
| parent | 34e7bc2c33fceeb67a2101d9953b2237306da47f (diff) | |
Updated
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions