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.
Fix error reporting in Emacs to also match Isar command failure exactly.
authoraspinall
Wed, 03 Jan 2007 22:59:30 +0100
changeset 21984 7b9c2f6b45f5
parent 21983 9fb029d1189b
child 21985 acfb13e8819e
Fix error reporting in Emacs to also match Isar command failure exactly.
src/Pure/ProofGeneral/proof_general_emacs.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ProofGeneral/proof_general_emacs.ML	Wed Jan 03 21:11:42 2007 +0100
+++ b/src/Pure/ProofGeneral/proof_general_emacs.ML	Wed Jan 03 22:59:30 2007 +0100
@@ -109,7 +109,8 @@
   info_fn := (fn s => decorate (special "362") (special "363") "+++ " s);
   debug_fn := (fn s => decorate (special "362") (special "363") "+++ " s);
   warning_fn := (fn s => decorate (special "362") (special "363") "### " s);
-  error_fn := (fn s => decorate (special "364") (special "365") "*** " s);
+  error_fn := (fn s => decorate "" "" "" s);
+  Toplevel.print_exn_fn := (Option.app (decorate (special "364") (special "365") "*** ") o Toplevel.print_exn_str);
   panic_fn := (fn s => decorate (special "364") (special "365") "!!! " s));
isabelle