aboutsummaryrefslogtreecommitdiff
path: root/doc/sphinx/language/extensions/arguments-command.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-12-04typoYves Bertot
2020-11-27Fix #13283: improved error on `clear implicit` flagFabian Kunze
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-11-03improved documentation of arguments commandFabian Kunze
2020-11-02Doc: added "Arguments" removing implicit argumentsFabian Kunze
2020-10-20Add some missing smallcaps.Théo Zimmermann
2020-06-08Convert Ltac chapter to prodnJim Fehrle
2020-05-16Merge PR #8855: More search optionsEmilio Jesus Gallego Arias
Reviewed-by: SkySkimmer Ack-by: Zimmi48 Ack-by: ejgallego Ack-by: kyoDralliam
2020-05-15Document new Search features.Théo Zimmermann
2020-05-14Reintroduce leftover parts; update index files; small fixes.Théo Zimmermann
2020-04-26Convert syntax extensions chapter to prodnJim Fehrle
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 18:01:05 +0000