| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |