diff options
| author | David Aspinall | 2000-05-25 19:56:21 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-25 19:56:21 +0000 |
| commit | 95ec6c1060f8bf9bbe24d94cbe88330ba5145c09 (patch) | |
| tree | bd32e4f51dee0d573ccac1040ffdbe898955eef9 /generic/proof-script.el | |
| parent | 1569fe58b136d3c83b0d983d2cef826574b58d51 (diff) | |
Updated patch.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions