aboutsummaryrefslogtreecommitdiff
path: root/doc/sphinx/language
AgeCommit message (Expand)Author
2018-06-28wrong sphinx syntaxAmbroise
2018-06-28Update gallina-extensions.rstAmbroise
2018-06-24Documenting the syntax of mutual keywords.Pierre-Marie Pédrot
2018-06-16[sphinx] Finish clean-up of the Canonical Structure subsection.Théo Zimmermann
2018-06-16doc: Add "Print Canonical Projections" command to Command indexAnton Trunov
2018-06-04Documenting the deprecation.Pierre-Marie Pédrot
2018-05-28Improve the last section of the Gallina chapter.Théo Zimmermann
2018-05-28Chapter 1 of the refman compiles without reporting any undocumented object.Théo Zimmermann
2018-05-28Improve sections on (Co)Fixpoint of the Gallina chapter.Théo Zimmermann
2018-05-27Improve subsection on co-inductive types of the Gallina chapter.Théo Zimmermann
2018-05-27Improve subsection on mutual inductive types of the Gallina chapter.Théo Zimmermann
2018-05-27Move 'new in Coq 8.1' subsection to an appropriate place.Théo Zimmermann
2018-05-27Document Variant properly.Théo Zimmermann
2018-05-27Improve inductive types subsection of the Gallina chapter.Théo Zimmermann
2018-05-26Improve subsection Definitions of the Gallina chapter.Théo Zimmermann
2018-05-26Improve subsection Assumptions of the Gallina chapter.Théo Zimmermann
2018-05-26Improve the section Terms of the Gallina chapter.Théo Zimmermann
2018-05-25[doc] Allow more than one signature and name per Sphinx objectClément Pit-Claudel
2018-05-21Document the new nested-proof error message.Théo Zimmermann
2018-05-17Document nested proofs and associated option.Théo Zimmermann
2018-05-15[doc] Address feedback on doc writer guideClément Pit-Claudel
2018-05-14Remove duplicate entries for Proof, Qed, Defined, Admitted.Théo Zimmermann
2018-05-09[sphinx] Fix new warnings related to tacn, cmd, opt...Théo Zimmermann
2018-05-05[sphinx] Backport changes from #5979.Théo Zimmermann
2018-05-05Clean-up around cmd documentation.Théo Zimmermann
2018-05-05Fix error messages and make them consistent.Théo Zimmermann
2018-05-05Clean-up around options.Théo Zimmermann
2018-05-05[sphinx] Fix some references.Théo Zimmermann
2018-04-26Merge PR #7331: Fix a typo in the reference manual: <; -> <:Maxime Dénès
2018-04-26Merge PR #7181: Sphinx docs: clarify strict implicit arguments a bitMaxime Dénès
2018-04-23Fix a typo in the reference manual: <; -> <:Kazuhiko Sakaguchi
2018-04-16[Sphinx] Clean-up indicesMaxime Dénès
2018-04-16[Sphinx] Fix a lot of references and description of optionsMaxime Dénès
2018-04-14[Sphinx] Fix all remaining warnings.Maxime Dénès
2018-04-14[sphinx] Fix many warnings.Théo Zimmermann
2018-04-13[Sphinx] Add Chapter 1Maxime Dénès
2018-04-13[Sphinx] Move chapter 1 to new infrastructureMaxime Dénès
2018-04-12Merge PR #7222: [sphinx] Remove migration artefacts.Maxime Dénès
2018-04-11[sphinx] Remove migration artefacts.Théo Zimmermann
2018-04-11[sphinx] Use macros for notes and examples.Théo Zimmermann
2018-04-11[sphinx] Fixes in chapter 2.Théo Zimmermann
2018-04-05Sphinx docs: clarify strict implicit argumentsAnton Trunov
2018-03-29[Sphinx] Remove duplicate entry for command `Coercion`Maxime Dénès
2018-03-26[doc] Port Chapter 20 Type Classes to SphinxMatthieu Sozeau
2018-03-15[Sphinx] Add chapter 3Maxime Dénès
2018-03-15[Sphinx] Move chapter 3 to new infrastructureMaxime Dénès
2018-03-15[Sphinx] Add chapter 5Maxime Dénès
2018-03-15[Sphinx] Move chapter 5 to new infrastructureMaxime Dénès
2018-03-15[Sphinx] Add chapter 4Maxime Dénès
2018-03-15[Sphinx] Move chapter 4 to new infrastructureMaxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 03:14:21 +0000