diff options
| author | Thomas Kleymann | 1998-09-17 10:30:55 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-09-17 10:30:55 +0000 |
| commit | 405416572eb90ab099069c44c287786cbb0de2ce (patch) | |
| tree | 0d1f67f8485c91b94c4160ca46a575cd9d0253cc /html | |
| parent | 851307601900e717e13cbd2b599f7f80a3824927 (diff) | |
fixed a bug in proof-shell-filter and proof-shell-handle-ouput
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions