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/runtime.ML
changeset 40318 035b2afbeb2e
parent 39513 fce2202892c4
child 41715 22f8c2483bd2 
--- a/src/Pure/Isar/runtime.ML	Wed Nov 03 11:11:49 2010 +0100
+++ b/src/Pure/Isar/runtime.ML	Wed Nov 03 11:33:51 2010 +0100
@@ -68,7 +68,6 @@
         | TERMINATE => ["Exit"]
         | TimeLimit.TimeOut => ["Timeout"]
         | TOPLEVEL_ERROR => ["Error"]
-        | SYS_ERROR msg => ["## SYSTEM ERROR ##\n" ^ msg]
         | ERROR msg => [msg]
         | Fail msg => [raised exn "Fail" [msg]]
         | THEORY (msg, thys) =>
isabelle