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.
tuned pp;
authorwenzelm
Sun, 20 Jun 2004 09:27:17 +0200
changeset 14975 2736b0984253
parent 14974 b1ecb7859c99
child 14976 65f572245276
tuned pp;
src/Pure/Syntax/printer.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Syntax/printer.ML	Sun Jun 20 09:27:04 2004 +0200
+++ b/src/Pure/Syntax/printer.ML	Sun Jun 20 09:27:17 2004 +0200
@@ -46,8 +46,8 @@
 val show_no_free_types = ref false;
 val show_all_types = ref false;
 
-fun pp_show_brackets pp = Pretty.pp (setmp show_brackets true (Pretty.term pp))
-  (Pretty.typ pp) (Pretty.sort pp) (Pretty.classrel pp) (Pretty.arity pp);
+fun pp_show_brackets pp = Pretty.pp (setmp show_brackets true (Pretty.term pp),
+  Pretty.typ pp, Pretty.sort pp, Pretty.classrel pp, Pretty.arity pp);
isabelle