diff options
author | 2001-09-03 10:44:21 +0000 | |
---|---|---|
committer | 2001-09-03 10:44:21 +0000 | |
commit | 3c8a94d1f6fb0dc628466ac431d1d6a753ab20dc (patch) | |
tree | ecb0cad9505d9b714c576c88b0e2c63bb3b099b8 /INSTALL | |
parent | e2383e29558ed59085c17569fab010a34bcfc824 (diff) |
Mention hiding proofs.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions