| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-12-17 | [doc] Nit on the manual. | Emilio Jesus Gallego Arias |
| 2017-09-22 | Avoid generated names for html pages of the reference manual (bug #4742). | Guillaume Melquiond |
| 2017-09-08 | Fix the introduction of SSR refman chapter. | Théo Zimmermann |
| 2017-08-02 | Rewording the introduction | Enrico Tassi |
| 2017-08-02 | Rephrasing a couple of sentences in a more factual way. | Hugo Herbelin |
| 2017-08-02 | Rephrasing the introduction in a more factual and up-to-date way. | Hugo Herbelin |
| 2017-08-02 | Port ssr manual to Coq's latex/hevea style | Enrico Tassi |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |