# HG changeset patch
# User wenzelm
# Date 1468688203 -7200
# Node ID 8ea738cffabe7e62a3cbafc039b92ce4d36503ea
# Parent  76492eaf3dc1b801559c4ee7d1094f910a55bc7f
no Output.information by default, e.g. "isabelle console", "isabelle build";

diff -r 76492eaf3dc1 -r 8ea738cffabe src/Pure/General/output.ML
--- a/src/Pure/General/output.ML	Sat Jul 16 12:11:02 2016 +0200
+++ b/src/Pure/General/output.ML	Sat Jul 16 18:56:43 2016 +0200
@@ -124,7 +124,6 @@
   else
    (writeln_fn := (physical_writeln o implode);
     state_fn := (fn ss => ! writeln_fn ss);
-    information_fn := (fn ss => ! writeln_fn ss);
     tracing_fn := (fn ss => ! writeln_fn ss);
     warning_fn := (physical_writeln o prefix_lines "### " o implode);
     legacy_fn := (fn ss => ! warning_fn ss);