diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 1999-09-22 15:04:00 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 1999-09-22 15:04:00 +0000 |
| commit | 94b2d0305ad6caed4893e6da0ed83b5be8061fb4 (patch) | |
| tree | 0e1f5f8ff4925f56cf9305a15db11a2681911fe5 /images | |
| parent | c53e00dc3fdd41b0eff45149ddb14fa3a6612eba (diff) | |
improved (?) proof-shell-proof-completed-regexp;
Diffstat (limited to 'images')
0 files changed, 0 insertions, 0 deletions