coq/doc/changelog/03-notations/11650-parensNew.rst, branch master The formal proof system Release notes for 8.12. 2020-05-27T13:38:24+00:00 Théo Zimmermann 2020-05-23T10:58:37+00:00 2f0a89e59e615e6101096b36e12e7b7bbace8eff 






Minor improvements to the unreleased changelog.
2020-03-08T08:09:34+00:00

Théo Zimmermann

2020-03-08T08:03:21+00:00

7f53c4266d1159f5855df70e0ef63e519df46cd5












added changelog
2020-02-24T18:14:13+00:00

Abhishek Anand (optiplex7010@home)

2020-02-24T18:14:13+00:00

cdf6e95a99002469eef6e389da54e8d2be6207e3