| Age | Commit message (Expand) | Author |
|---|---|---|
| 2016-06-13 | Univs: more robust Universe/Constraint decls #4816 | Matthieu Sozeau |
| 2015-12-12 | Indexing and documenting some options. | Pierre-Marie Pédrot |
| 2015-12-09 | a few edits to the universe polymorphism section of the manual | Gregory Malecha |
| 2015-11-04 | Univs: update refman, better printers for universe contexts. | Matthieu Sozeau |
| 2015-10-14 | Fix some typos. | Guillaume Melquiond |
| 2015-10-13 | Fix some typos. | Guillaume Melquiond |
| 2015-07-08 | Fix documentation of universes. | Matthieu Sozeau |
| 2015-02-17 | Separate index for vernacular options. | Maxime Dénès |
| 2015-01-17 | Univs: Complete documentation in refman. | Matthieu Sozeau |
| 2015-01-15 | Expand Credits for 8.5 and doc on universes | Matthieu Sozeau |
| 2015-01-08 | Fix some documentation typos. | Guillaume Melquiond |
| 2014-08-25 | "allows to", like "allowing to", is improper | Jason Gross |
| 2014-07-25 | More documentation of universes. | Matthieu Sozeau |
| 2014-07-24 | Start documenting universe polymorphism. | Matthieu Sozeau |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |