diff options
| author | Thomas Kleymann | 1999-01-21 13:34:02 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1999-01-21 13:34:02 +0000 |
| commit | 04403839fc16e53b0258d6da043aa1e7537de20c (patch) | |
| tree | e03d42c7574affc38a1ac7e0f8b336a3157bf9a8 /generic/proof-script.el | |
| parent | fca6147eee72f4c22421884100e5beca0f7e7f5a (diff) | |
Improved test file so that it works correctly with installed LEGO 1.3.1
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions