diff options
| author | Makarius Wenzel | 1999-10-22 16:27:14 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-10-22 16:27:14 +0000 |
| commit | f9b1ad2083a515131b64bd4bf7516bdb923b572e (patch) | |
| tree | d7e70405bbace0171d69bc32252e169f1f678071 /generic/proof-script.el | |
| parent | 1052617fe0ec77f28557a5e0d28028edc37107e8 (diff) | |
update by DvO;
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions