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/Pure/Tools/proof_general.ML
changeset 54387 890e983cb07b
parent 53403 c09f4005d6bd
child 54450 7815563f50dc 
--- a/src/Pure/Tools/proof_general.ML	Mon Nov 11 18:37:56 2013 +0100
+++ b/src/Pure/Tools/proof_general.ML	Mon Nov 11 20:00:53 2013 +0100
@@ -269,7 +269,7 @@
   Output.Internal.urgent_message_fn := message (special "I") (special "J") "";
   Output.Internal.tracing_fn := message (special "I" ^ special "V") (special "J") "";
   Output.Internal.warning_fn := message (special "K") (special "L") "### ";
-  Output.Internal.error_fn := (fn (_, s) => message (special "M") (special "N") "*** " s);
+  Output.Internal.error_message_fn := (fn (_, s) => message (special "M") (special "N") "*** " s);
   Output.Internal.prompt_fn := (fn s => Output.physical_stdout (render s ^ special "S")));
isabelle