diff options
| author | Thomas Kleymann | 1998-10-21 12:05:19 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-10-21 12:05:19 +0000 |
| commit | 2b89ed20b6ec3253744d796e59a0079dc6779c05 (patch) | |
| tree | 4bd5de35eeb484dc3f2e4e94314283138589e4f6 /html | |
| parent | ad655aa0324d59fac5f202d74381da6c7bf46626 (diff) | |
fixed a bug in `proof-check-process-available'
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions