diff options
| author | David Aspinall | 1999-11-18 17:39:21 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-18 17:39:21 +0000 |
| commit | 380a9a35b66b425bfd3d79ffdfaf3fff9c30607f (patch) | |
| tree | 23784959c40a32eac370ec582f85b5e81b379f62 /generic/proof-script.el | |
| parent | 8de7c28aeed4bc85d68e785fc9fb71af23843ee1 (diff) | |
Updated
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions