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
Fri, 09 Aug 2013 00:02:18 +0200
changeset 52927 9c6aef15a7ad
parent 52926 6415d95bf7a2
child 52928 facb4f6dc391
tuned message;
src/Pure/Tools/find_theorems.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/find_theorems.ML	Thu Aug 08 23:52:35 2013 +0200
+++ b/src/Pure/Tools/find_theorems.ML	Fri Aug 09 00:02:18 2013 +0200
@@ -519,7 +519,7 @@
     (if null theorems then [Pretty.str "nothing found"]
      else
       [Pretty.str (tally_msg ^ ":"), Pretty.str ""] @
-        grouped 10 Par_List.map (pretty_theorem ctxt) theorems)
+        grouped 10 Par_List.map (Pretty.item o single o pretty_theorem ctxt) theorems)
   end |> Pretty.fbreaks |> curry Pretty.blk 0;
 
 fun pretty_theorems_cmd state opt_lim rem_dups spec =
isabelle