diff options
| author | David Aspinall | 2002-07-15 09:32:01 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-15 09:32:01 +0000 |
| commit | e1929f06c1935fc2bf6d2b94a57c5b0a44229ec1 (patch) | |
| tree | dfacee9adf709756bdbef6d71eb7ffb3ab7e431c /generic/proof-script.el | |
| parent | fcf4bbb30f95fe0549d4352e877b9d952b7ff90c (diff) | |
Tweak
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions