diff options
| author | David Aspinall | 1999-09-13 14:20:42 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-09-13 14:20:42 +0000 |
| commit | eadcde77e746dee4b8f1dbfff483f59d1aeff76c (patch) | |
| tree | 7bbd5ef86dbb77410a799b267ea671baf8c2b74f /generic/proof-script.el | |
| parent | 0c26c0a8e4f78d8474f65caba5b1341463a4db78 (diff) | |
Updated
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions