diff options
| author | Dilip Sequiera | 1997-10-16 13:14:32 +0000 |
|---|---|---|
| committer | Dilip Sequiera | 1997-10-16 13:14:32 +0000 |
| commit | 097f3795555b5d203d8803f0a55ab1101f5bf5a8 (patch) | |
| tree | 2e2b5a5a49b0be1069b6285a76c94d779f922d37 /INSTALL | |
| parent | f289b733dcba5f72fe4bf2f72fd2946494e768fb (diff) | |
Merged Coq changes with main branch.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions