Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Univs: more robust Universe/Constraint decls #4816 | 2016-06-13 | |
* | Indexing and documenting some options. | 2015-12-12 | |
* | a few edits to the universe polymorphism section of the manual | 2015-12-09 | |
* | Univs: update refman, better printers for universe contexts. | 2015-11-04 | |
* | Fix some typos. | 2015-10-14 | |
* | Fix some typos. | 2015-10-13 | |
* | Fix documentation of universes. | 2015-07-08 | |
* | Separate index for vernacular options. | 2015-02-17 | |
* | Univs: Complete documentation in refman. | 2015-01-17 | |
* | Expand Credits for 8.5 and doc on universes | 2015-01-15 | |
* | Fix some documentation typos. | 2015-01-08 | |
* | "allows to", like "allowing to", is improper | 2014-08-25 | |
* | More documentation of universes. | 2014-07-25 | |
* | Start documenting universe polymorphism. | 2014-07-24 |