aboutsummaryrefslogtreecommitdiff
path: root/doc/sphinx/addendum/universe-polymorphism.rst
AgeCommit message (Expand)Author
2019-02-12Fix failing coqtops universe-polymorphism.rstGaëtan Gilbert
2018-11-27Merge PR #8850: Private universes for opaque polymorphic constants.Matthieu Sozeau
2018-11-23Doc for Private Polymorphic Universes.Gaëtan Gilbert
2018-11-21[sphinx] Progress towards closing #7602: remove most objects without a body.Théo Zimmermann
2018-09-20Rewrite "Flags, Options and Tables" section.Jim Fehrle
2018-09-20[doc] Include the rst and LaTeX preambles automatically in all filesClément Pit-Claudel
2018-08-31Uniformized many spelling variants. Added .. warning:: and .. seealso:: direc...Zeimer
2018-08-01Improved grammar and spelling in the remaining chapters of the Reference Manual.Zeimer
2018-05-09[sphinx] Improvements around the Show commands, including missing indices and...Théo Zimmermann
2018-05-05Clean-up around cmd documentation.Théo Zimmermann
2018-05-05[sphinx] Use option direct reference.Théo Zimmermann
2018-04-12[Sphinx] Add chapter 29Maxime Dénès
2018-04-11[Sphinx] Move chapter 29 to new infrastructureMaxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 05:29:46 +0000