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