aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/refman/Universes.tex
Commit message (Expand)AuthorAge
* [Sphinx] Move chapter 29 to new infrastructureGravatar Maxime Dénès2018-04-11
* Documentation for Cumulativity Weak Constraints.Gravatar Gaëtan Gilbert2018-03-09
* Documentation for cumulative inductive variance.Gravatar Gaëtan Gilbert2018-02-11
* [refman] Expand a little on global universes.Gravatar Matthieu Sozeau2017-12-01
* Avoid generated names for html pages of the reference manual (bug #4742).Gravatar Guillaume Melquiond2017-09-22
* Document anonymous universes (PR #544).Gravatar Gaëtan Gilbert2017-08-17
* Typo in the documentation of cumulativityGravatar Amin Timany2017-08-02
* Update documentation of cumulativityGravatar Amin Timany2017-07-31
* Fix typo and Add Jason's example to the docGravatar Amin Timany2017-07-31
* Improve documentation of cumulativityGravatar Amin Timany2017-07-31
* Document cumulativity for inductive typesGravatar Amin Timany2017-06-16
* Univs: more robust Universe/Constraint decls #4816Gravatar Matthieu Sozeau2016-06-13
* Indexing and documenting some options.Gravatar Pierre-Marie Pédrot2015-12-12
* a few edits to the universe polymorphism section of the manualGravatar Gregory Malecha2015-12-09
* Univs: update refman, better printers for universe contexts.Gravatar Matthieu Sozeau2015-11-04
* Fix some typos.Gravatar Guillaume Melquiond2015-10-14
* Fix some typos.Gravatar Guillaume Melquiond2015-10-13
* Fix documentation of universes.Gravatar Matthieu Sozeau2015-07-08
* Separate index for vernacular options.Gravatar Maxime Dénès2015-02-17
* Univs: Complete documentation in refman.Gravatar Matthieu Sozeau2015-01-17
* Expand Credits for 8.5 and doc on universesGravatar Matthieu Sozeau2015-01-15
* Fix some documentation typos.Gravatar Guillaume Melquiond2015-01-08
* "allows to", like "allowing to", is improperGravatar Jason Gross2014-08-25
* More documentation of universes.Gravatar Matthieu Sozeau2014-07-25
* Start documenting universe polymorphism.Gravatar Matthieu Sozeau2014-07-24
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-22 17:07:33 +0000