blob: 5e2da594c6bd809aadb597fcdbabae039e674a53 (
plain)
1
2
3
4
|
- **Added:**
added option Set Printing Parentheses to print parentheses even when implied by associativity or precedence.
(`#11650 <https://github.com/coq/coq/pull/11650>`_,
by Hugo Herbelin and Abhishek Anand).
|
