Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/try0.ML
changeset 50450 358b6020f8b6
parent 50201 c26369c9eda6
child 51383 50fb0f35a14f 
--- a/src/HOL/Tools/try0.ML	Mon Dec 10 10:41:29 2012 +0100
+++ b/src/HOL/Tools/try0.ML	Mon Dec 10 13:52:33 2012 +0100
@@ -138,7 +138,7 @@
              Auto_Try => "Auto Try Methods found a proof"
            | Try => "Try Methods found a proof"
            | Normal => "Try this") ^ ": " ^
-          Sendback.markup
+          Active.sendback_markup
               ((if nprems_of (#goal (Proof.goal st)) = 1 then "by"
                 else "apply") ^ " " ^ (s |> need_parens ? enclose "(" ")")) ^
           "\n(" ^ space_implode "; " (map time_string xs) ^ ").\n"
isabelle