Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge branch 'render-prehistory' of https://github.com/aspiwack/coq into aspi... | 2016-03-09 | |
* | Prehistory of Coq: move the bibliographic references to a dedicated section. | 2015-11-11 | |
* | Prehistory of Coq: justification of the plain text. | 2015-11-11 | |
* | Prehistory of Coq: consistency. | 2015-11-11 | |
* | Prehistory of Coq: various corrections on English. | 2015-11-11 | |
* | Prehistory of Coq: asciidoc conversion. | 2015-11-11 |