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;
authorwenzelm
Fri, 07 May 2010 20:16:46 +0200
changeset 36733 5e1f305ae867
parent 36732 9c2ee10809b2
child 36734 d9b10c173330
tuned;
src/Pure/General/pretty.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/pretty.ML	Fri May 07 19:50:50 2010 +0200
+++ b/src/Pure/General/pretty.ML	Fri May 07 20:16:46 2010 +0200
@@ -145,7 +145,7 @@
 val chunks = markup_chunks Markup.none;
 fun chunks2 prts = blk (0, flat (Library.separate [fbrk, fbrk] (map single prts)));
 
-fun block_enclose (p1, p2) ps = chunks [(block  o fbreaks) (p1 :: ps), p2];
+fun block_enclose (prt1, prt2) prts = chunks [block (fbreaks (prt1 :: prts)), prt2];
 
 fun quote prt = blk (1, [str "\"", prt, str "\""]);
 fun backquote prt = blk (1, [str "`", prt, str "`"]);
isabelle