diff options
| author | Thomas Kleymann | 1998-05-22 09:46:58 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-05-22 09:46:58 +0000 |
| commit | 68c54b19894599aa9983cb1994565f98872b794b (patch) | |
| tree | 1db9a08b418e0efa0e332072757281b20081dee8 /INSTALL | |
| parent | 83767f123f6f01e5c87749aad86e62c173a0c9da (diff) | |
fixed a bug in proof-frob-locked-end
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions