| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-12-03 | Changes for Coq 8.13 | Matthieu Sozeau |
| 2020-11-05 | Added change log for #12099. | Hugo Herbelin |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |
path: root/doc/changelog/03-notations/12099-master+constraining-terms-occurring-also-as-pattern-in-notations.rst