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 message;
authorwenzelm
Sat, 26 Apr 2014 22:43:22 +0200
changeset 56760 ef5df088e022
parent 56759 790f7562cd0e
child 56761 951c6a9ac3d7
tuned message;
src/Pure/Tools/find_consts.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/find_consts.ML	Sat Apr 26 22:35:19 2014 +0200
+++ b/src/Pure/Tools/find_consts.ML	Sat Apr 26 22:43:22 2014 +0200
@@ -120,7 +120,7 @@
       then "nothing found"
       else "found " ^ string_of_int (length matches) ^ " constant(s):") ::
     Pretty.str "" ::
-    map (pretty_const ctxt) matches
+    map (Pretty.item o single o pretty_const ctxt) matches
   end |> Pretty.fbreaks |> curry Pretty.blk 0;
 
 fun find_consts ctxt args = Pretty.writeln (pretty_consts ctxt args);
isabelle