diff options
| author | David Aspinall | 1999-11-17 13:59:00 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-17 13:59:00 +0000 |
| commit | f52654af35eba5c3a1a8a6e43cc49b0507d2e1b1 (patch) | |
| tree | 0724b96ae3055ea878ce9292a703091fd7edbb97 /generic/proof-script.el | |
| parent | 6f9b41f8d8ea39a6ee962a12d9e3cbbee5adbb1d (diff) | |
Comments
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions