diff options
| author | Dilip Sequiera | 1997-10-16 13:13:40 +0000 |
|---|---|---|
| committer | Dilip Sequiera | 1997-10-16 13:13:40 +0000 |
| commit | f289b733dcba5f72fe4bf2f72fd2946494e768fb (patch) | |
| tree | 720df17e2819784312314d411c0d7fc652f06de8 /INSTALL | |
| parent | 47ba389bc92c49d7254883b2879e0b3d20035e54 (diff) | |
Merged Coq changes onto main branch
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions