diff options
| author | Thomas Kleymann | 1997-12-18 13:17:24 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1997-12-18 13:17:24 +0000 |
| commit | cc98ac2df154d50032219756de7f7411bbd413ab (patch) | |
| tree | 0061262d7c9eff34b181586e461b64b9453c7911 /proof.el | |
| parent | 88065a588efd7fd055776a71a3a896d0f17cc86d (diff) | |
*** empty log message ***
Diffstat (limited to 'proof.el')
0 files changed, 0 insertions, 0 deletions