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;
authorwenzelm
Sat, 15 Mar 2008 22:40:41 +0100
changeset 26293 a71ea4a57f44
parent 26292 009e56d16080
child 26294 c5fe289de634
tuned;
src/Pure/Isar/toplevel.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/toplevel.ML	Sat Mar 15 22:07:34 2008 +0100
+++ b/src/Pure/Isar/toplevel.ML	Sat Mar 15 22:40:41 2008 +0100
@@ -273,8 +273,8 @@
     fun exn_msg _ (CONTEXT (ctxt, exn)) = exn_msg (SOME ctxt) exn
       | exn_msg ctxt (Exn.EXCEPTIONS (exns, "")) = cat_lines (map (exn_msg ctxt) exns)
       | exn_msg ctxt (Exn.EXCEPTIONS (exns, msg)) = cat_lines (map (exn_msg ctxt) exns @ [msg])
-      | exn_msg ctxt (EXCURSION_FAIL (exn, loc)) = exn_msg ctxt exn ^
-          Output.escape (Markup.enclose Markup.location (Output.output ("\n" ^ loc)))
+      | exn_msg ctxt (EXCURSION_FAIL (exn, loc)) =
+          exn_msg ctxt exn ^ Markup.markup Markup.location ("\n" ^ loc)
       | exn_msg _ TERMINATE = "Exit."
       | exn_msg _ RESTART = "Restart."
       | exn_msg _ Interrupt = "Interrupt."
isabelle