Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
minimized () in forced printing of barckets (show_brackets)
authornipkow
Tue, 02 Aug 1994 20:08:57 +0200
changeset 505 97eb677142d9
parent 504 a4f09493d929
child 506 e0ca460d6e51
minimized () in forced printing of barckets (show_brackets)
src/Pure/Syntax/printer.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Syntax/printer.ML	Tue Aug 02 09:07:10 1994 +0200
+++ b/src/Pure/Syntax/printer.ML	Tue Aug 02 20:08:57 1994 +0200
@@ -228,7 +228,7 @@
       | synT (_ :: _, []) = sys_error "synT"
 
     and parT (pr, args, p, p': int) =
-      if p > p' orelse !show_brackets then
+      if p > p' orelse (!show_brackets andalso p' <> max_pri) then
         #1 (synT ([Block (1, String "(" :: pr @ [String ")"])], args))
       else #1 (synT (pr, args))
isabelle