Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Clarify further doc/README.md following Jim's comments. | 2018-06-22 | |
* | Improve doc/README.md. | 2018-06-22 | |
* | Move INSTALL.doc into doc/README.md. | 2018-06-22 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Clarify further doc/README.md following Jim's comments. | 2018-06-22 | |
* | Improve doc/README.md. | 2018-06-22 | |
* | Move INSTALL.doc into doc/README.md. | 2018-06-22 |