aboutsummaryrefslogtreecommitdiff
path: root/doc/changelog/03-notations/12099-master+constraining-terms-occurring-also-as-pattern-in-notations.rst
AgeCommit message (Collapse)Author
2020-12-03Changes for Coq 8.13Matthieu Sozeau
2020-11-05Added change log for #12099.Hugo Herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 03:35:09 +0000