diff options
| author | David Aspinall | 1999-10-25 12:44:43 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-25 12:44:43 +0000 |
| commit | 2c244b7057f35076fec4165acd3a6737f69f1313 (patch) | |
| tree | 9a7818bd4ab364746a039b02172c039e3dc886dd /generic/proof-script.el | |
| parent | f9b1ad2083a515131b64bd4bf7516bdb923b572e (diff) | |
Made proof-warning and friends take arg list.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions