aboutsummaryrefslogtreecommitdiff
path: root/doc/sphinx/language/core/variants.rst
AgeCommit message (Collapse)Author
2020-11-18[attributes] Deprecate `attr(true)` syntax in favor of booelan attributes.Emilio Jesus Gallego Arias
We introduce a warning so boolean attributes are expected to be of the form `attr={yes,no}` or just `attr` (for `yes`). We update the documentation, test-suite, and changelog.
2020-10-24Convert misc chapters to prodnJim Fehrle
2020-09-11[refman] Rename numeral to numberPierre Roux
2020-09-11[refman] Rename num to naturalPierre Roux
2020-08-15Document semantic restriction on patternsJim Fehrle
2020-06-08Convert Ltac chapter to prodnJim Fehrle
2020-05-14Reintroduce leftover parts; update index files; small fixes.Théo Zimmermann
2020-05-13Merge sections on variants and match into new file.Théo Zimmermann
2020-05-13Merge sections on Variants and Private inductive types into new file.Théo Zimmermann
2020-05-13Add match to new file on Variants.Théo Zimmermann
2020-05-13Create a new file on Variants.Théo Zimmermann
2020-05-13Create a new file on Variants.Théo Zimmermann
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 20:56:15 +0000