From cdf6e95a99002469eef6e389da54e8d2be6207e3 Mon Sep 17 00:00:00 2001 From: Abhishek Anand (optiplex7010@home) Date: Mon, 24 Feb 2020 10:14:13 -0800 Subject: added changelog --- doc/changelog/03-notations/11650-parensNew.rst | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 doc/changelog/03-notations/11650-parensNew.rst (limited to 'doc') diff --git a/doc/changelog/03-notations/11650-parensNew.rst b/doc/changelog/03-notations/11650-parensNew.rst new file mode 100644 index 0000000000..5e2da594c6 --- /dev/null +++ b/doc/changelog/03-notations/11650-parensNew.rst @@ -0,0 +1,4 @@ +- **Added:** + added option Set Printing Parentheses to print parentheses even when implied by associativity or precedence. + (`#11650 `_, + by Hugo Herbelin and Abhishek Anand). -- cgit v1.2.3 From 5ece9623e54ce2a87440c889364c3d1ad5eb52c5 Mon Sep 17 00:00:00 2001 From: Abhishek Anand (optiplex7010@home) Date: Mon, 24 Feb 2020 10:21:22 -0800 Subject: added sphinx doc --- doc/sphinx/user-extensions/syntax-extensions.rst | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'doc') diff --git a/doc/sphinx/user-extensions/syntax-extensions.rst b/doc/sphinx/user-extensions/syntax-extensions.rst index 7c628e534b..22754e57d4 100644 --- a/doc/sphinx/user-extensions/syntax-extensions.rst +++ b/doc/sphinx/user-extensions/syntax-extensions.rst @@ -396,6 +396,11 @@ Displaying information about notations Controls whether to use notations for printing terms wherever possible. Default is on. +.. flag:: Printing Parentheses + + If on, parentheses are printed even if implied by associativity and precedence + Default is off. + .. seealso:: :flag:`Printing All` -- cgit v1.2.3