# HG changeset patch
# User wenzelm
# Date 1006299313 -3600
# Node ID ee14db2c571dfc0ca4a56cda438d39278c45a0e4
# Parent  4898247d0102c861c842fb22610863aeb762f2ae
tracing_fn;

diff -r 4898247d0102 -r ee14db2c571d src/Pure/Interface/proof_general.ML
--- a/src/Pure/Interface/proof_general.ML	Wed Nov 21 00:34:38 2001 +0100
+++ b/src/Pure/Interface/proof_general.ML	Wed Nov 21 00:35:13 2001 +0100
@@ -100,6 +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");
   warning_fn := (decorate_lines (oct_char "362") (oct_char "363") "### ");
   error_fn := (decorate_lines (oct_char "364") (oct_char "365") "*** "));