# HG changeset patch
# User wenzelm
# Date 1007427756 -3600
# Node ID e853343af65dd7290d156e180c479d7e37e874eb
# Parent  f7fa60115e4e758ed7b4162dfff22e0539aaab49
disable markup of tracing output (tmp?);

diff -r f7fa60115e4e -r e853343af65d src/Pure/Interface/proof_general.ML
--- a/src/Pure/Interface/proof_general.ML	Tue Dec 04 02:02:10 2001 +0100
+++ b/src/Pure/Interface/proof_general.ML	Tue Dec 04 02:02:36 2001 +0100
@@ -100,7 +100,7 @@
 
 fun setup_messages () =
  (priority_fn := decorate_lines (oct_char "360") (oct_char "361") "";
-  tracing_fn := decorate_lines (oct_char "360") (oct_char "361") (oct_char "375");
+(*  tracing_fn := decorate_lines (oct_char "360") (oct_char "361") (oct_char "375");  *)
   warning_fn := (decorate_lines (oct_char "362") (oct_char "363") "### ");
   error_fn := (decorate_lines (oct_char "364") (oct_char "365") "*** "));