diff options
| author | David Aspinall | 2000-05-05 17:22:27 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-05 17:22:27 +0000 |
| commit | b19f2685c964dececd926ea21eb018d287f1e43d (patch) | |
| tree | 76e86379cd5d00fb727a13c278bc4de4135d7545 /generic/proof-script.el | |
| parent | 784085f49a94b9a1458acfc9323a6c0ca0859db3 (diff) | |
Comment.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions