changeset 12261 | ee14db2c571d |
parent 12217 | e3efc5c9f267 |
child 12358 | e853343af65d |
--- 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") "*** "));