diff options
| author | David Aspinall | 2002-06-12 23:29:43 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-06-12 23:29:43 +0000 |
| commit | b6e92fdf8d860f2f3428807b410e3f97f9b4a6c0 (patch) | |
| tree | 6cf31732f6615af7f47ea9479772bd03e30c2b90 /generic/proof-script.el | |
| parent | 9c87e6a7490fa51d3b9e57b7fdcd8276ed0f84bb (diff) | |
More test cases, summary of situation.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions