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.
simplified writeln_fn;
authorwenzelm
Mon, 09 Jul 2007 11:44:23 +0200
changeset 23662 91d06b04951f
parent 23661 b3f05bc680b6
child 23663 84b5c89b8b49
simplified writeln_fn;
src/Pure/ProofGeneral/proof_general_emacs.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ProofGeneral/proof_general_emacs.ML	Mon Jul 09 11:44:22 2007 +0200
+++ b/src/Pure/ProofGeneral/proof_general_emacs.ML	Mon Jul 09 11:44:23 2007 +0200
@@ -117,7 +117,7 @@
   Output.writeln_default o enclose bg en o prefix_lines prfx;
 
 fun setup_messages () =
- (Output.writeln_fn := (fn s => decorate "" "" "" s);
+ (Output.writeln_fn := Output.writeln_default;
   Output.priority_fn := (fn s => decorate (special "360") (special "361") "" s);
   Output.tracing_fn := (fn s => decorate (special "360" ^ special "375") (special "361") "" s);
   Output.debug_fn := (fn s => decorate (special "362") (special "363") "+++ " s);
isabelle