1.1 --- a/src/Pure/Isar/toplevel.ML	Tue Jul 24 22:53:49 2007 +0200
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Tue Jul 24 22:59:53 2007 +0200
     1.3 @@ -257,6 +257,7 @@
     1.4    | exn_msg _ Output.TOPLEVEL_ERROR = "Error."
     1.5    | exn_msg _ (SYS_ERROR msg) = "## SYSTEM ERROR ##\n" ^ msg
     1.6    | exn_msg _ (ERROR msg) = msg
     1.7 +  | exn_msg detailed (Exn.EXCEPTIONS (exns, "")) = cat_lines (map (exn_msg detailed) exns)
     1.8    | exn_msg detailed (Exn.EXCEPTIONS (exns, msg)) = cat_lines (map (exn_msg detailed) exns @ [msg])
     1.9    | exn_msg detailed (EXCURSION_FAIL (exn, msg)) = cat_lines [exn_msg detailed exn, msg]
    1.10    | exn_msg false (THEORY (msg, _)) = msg