| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-02-28 | Move content of README-V1-V5 to Credits chapter. | Théo Zimmermann | |
| 2016-03-09 | Merge branch 'render-prehistory' of https://github.com/aspiwack/coq into ↵ | Hugo Herbelin | |
| aspiwack-render-prehistory3 Pull request #120 | |||
| 2015-11-11 | Prehistory of Coq: move the bibliographic references to a dedicated section. | Arnaud Spiwack | |
| So as not to clutter the text. Also took the opportunity to add a few missing references. | |||
| 2015-11-11 | Prehistory of Coq: justification of the plain text. | Arnaud Spiwack | |
| 2015-11-11 | Prehistory of Coq: consistency. | Arnaud Spiwack | |
| Don't use abbreviated first names in sentences. | |||
| 2015-11-11 | Prehistory of Coq: various corrections on English. | Arnaud Spiwack | |
| 2015-11-11 | Prehistory of Coq: asciidoc conversion. | Arnaud Spiwack | |
| Formatting markup + typography. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |