diff options
| author | David Aspinall | 1998-11-03 18:06:54 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-03 18:06:54 +0000 |
| commit | 4a9c2da087829312adff30e39d28faa101c795f0 (patch) | |
| tree | 35120a5468b90a316fe1d44f0ba4971cafc39cfb /generic/proof-script.el | |
| parent | b88f7a0d2d6b8faf330bb7cf074b22e1da757a2b (diff) | |
Updated and improved.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions