tracing_fn;
authorwenzelm
Wed, 21 Nov 2001 00:35:13 +0100
changeset 12261 ee14db2c571d
parent 12260 4898247d0102
child 12262 11ff5f47df6e
tracing_fn;
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") "*** "));