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
authorblanchet
Sun, 13 Jan 2013 21:42:38 +0100
changeset 50866 e12ebcb859a7
parent 50865 8fc97b8da069
child 50867 48836c35d636
tuned message
src/HOL/Tools/Sledgehammer/sledgehammer_run.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_run.ML	Sun Jan 13 21:14:49 2013 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_run.ML	Sun Jan 13 21:42:38 2013 +0100
@@ -244,7 +244,7 @@
                        (if null facts then
                           "Found no relevant facts."
                         else
-                          "Including (up to) " ^ string_of_int (length facts) ^
+                          "Including " ^ string_of_int (length facts) ^
                           " relevant fact" ^ plural_s (length facts) ^ ":\n" ^
                           (facts |> map (fst o fst) |> space_implode " ") ^ ".")
                        |> print
isabelle