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/Isar/toplevel.ML
changeset 19545 98d82187392d
parent 19101 d9b6375a21a4
child 19841 f2fa72c13186 
--- a/src/Pure/Isar/toplevel.ML	Tue May 02 20:42:40 2006 +0200
+++ b/src/Pure/Isar/toplevel.ML	Tue May 02 20:42:41 2006 +0200
@@ -535,6 +535,7 @@
   | exn_msg _ RESTART = "Restart."
   | exn_msg _ Interrupt = "Interrupt."
   | exn_msg _ Output.TOPLEVEL_ERROR = "Error."
+  | exn_msg _ (SYS_ERROR msg) = "## SYSTEM ERROR ##\n" ^ msg
   | exn_msg _ (ERROR msg) = msg
   | exn_msg detailed (EXCEPTION (exn, msg)) = cat_lines [exn_msg detailed exn, msg]
   | exn_msg detailed (EXCURSION_FAIL (exn, msg)) = cat_lines [exn_msg detailed exn, msg]
isabelle