aboutsummaryrefslogtreecommitdiff
path: root/doc/sphinx/language/extensions/implicit-arguments.rst
AgeCommit message (Collapse)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-09[refman] Stop applying a special style to Coq, CoqIDE, OCaml and Gallina.Théo Zimmermann
The smallcaps rendering was inexistent in the PDF version and did not look good in the HTML version.
2020-10-20Add some missing smallcaps.Théo Zimmermann
2020-09-27Reduce nitpick_ignore list a little.Théo Zimmermann
2020-08-06Trying to rephrase complex sentences to make them easier to read.Martin Bodin
Co-authored-by: Jim Fehrle <jim.fehrle@gmail.com>
2020-06-08Convert Ltac chapter to prodnJim Fehrle
2020-05-14Remove Canonical structures from Implicit arguments.Théo Zimmermann
2020-05-01Move essential vocabulary and syntax conventions to section on basics.Théo Zimmermann
2020-04-26Convert syntax extensions chapter to prodnJim Fehrle
2020-04-10Convert vernac commands chapter to prodn, update syntaxJim Fehrle
2020-04-03Move section on implicit arguments in appropriate location (inside extensions).Théo Zimmermann
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 20:09:52 +0000