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 print_exn;
authorwenzelm
Fri, 05 Jun 1998 14:23:27 +0200
changeset 4994 8b361563d470
parent 4993 2055bfbb186c
child 4995 905cd6f73429
tuned print_exn;
src/Pure/goals.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/goals.ML	Fri Jun 05 14:23:07 1998 +0200
+++ b/src/Pure/goals.ML	Fri Jun 05 14:23:27 1998 +0200
@@ -176,7 +176,7 @@
 	  seq print_thm thms)
    | THEORY (msg,thys) =>
 	 (writeln ("Exception THEORY raised:\n" ^ msg);
-	  seq print_theory thys)
+	  seq (Pretty.writeln o Display.pretty_theory) thys)
    | TERM (msg,ts) =>
 	 (writeln ("Exception TERM raised:\n" ^ msg);
 	  seq (writeln o Sign.string_of_term sign) ts)
isabelle