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/Sledgehammer/sledgehammer_reconstruct.ML
changeset 50274 2f6035e858b6
parent 50272 316d94b4ffe2
child 50276 1db687c43663 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_reconstruct.ML	Wed Nov 28 12:25:43 2012 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_reconstruct.ML	Wed Nov 28 12:25:43 2012 +0100
@@ -737,7 +737,7 @@
                      " (" ^ shrank_without_preplay_msg ^ ")"
                    else
                      "") 
-                ^ ":\n" ^ Markup.markup Isabelle_Markup.sendback isar_text
+                ^ ":\n" ^ Markup.markup Markup.sendback isar_text
             end
       end
     val isar_proof =
isabelle