aboutsummaryrefslogtreecommitdiff
path: root/doc/sphinx/addendum/ring.rst
AgeCommit message (Expand)Author
2021-03-08Convert 2nd part of rewriting chapter to prodnJim Fehrle
2020-12-30Convert rewriting and proof-mode chapters to prodnJim Fehrle
2020-11-10Convert logic.rst to prodnJim Fehrle
2020-11-09[refman] Stop applying a special style to Coq, CoqIDE, OCaml and Gallina.Théo Zimmermann
2020-11-09Remove virtually unused replace rule.Théo Zimmermann
2020-11-05Change the title of the automatic tactic chapter and of its sections.Théo Zimmermann
2020-10-24Convert misc chapters to prodnJim Fehrle
2020-10-20Add some missing smallcaps.Théo Zimmermann
2020-10-02{new,setoid_}ring -> ringMaxime Dénès
2020-06-08Convert Ltac chapter to prodnJim Fehrle
2020-06-08Make automatic name generation for directives more consistent:Jim Fehrle
2020-03-26Shrink refman-prelude files.Théo Zimmermann
2020-03-09Remove some productionlistsJim Fehrle
2019-07-18[doc] Fix typo in doc/sphinx/addendum/ring.rstWojciech Nawrocki
2019-05-23Define many undefined tokens, and other misc fixes.Théo Zimmermann
2019-03-29typo in ring.rstthery
2019-02-12Fix failing coqtops in ring.rstGaëtan Gilbert
2019-01-22Remove unneeded | in productionlistsJim Fehrle
2018-12-03Closes #9118: single backticks are made equivalent to double backticks; try t...Théo Zimmermann
2018-11-21[sphinx] Progress towards closing #7602: remove most objects without a body.Théo Zimmermann
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-07-29Improved grammar and spelling in chapters 'Extraction', 'Program' and 'ring a...Zeimer
2018-06-19[doc] Use productionlist instead of prodn in ring.rstClément Pit-Claudel
2018-05-05Clean-up around cmd documentation.Théo Zimmermann
2018-05-05Fix error messages and make them consistent.Théo Zimmermann
2018-04-14[Sphinx] Fix all remaining warnings.Maxime Dénès
2018-03-30[Sphinx] Add chapter 25Maxime Dénès
2018-03-30[Sphinx] Move chapter 25 to new infrastructureMaxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:21:00 +0000