1.1 --- a/src/Pure/General/markup.scala	Tue May 25 22:21:31 2010 +0200
     1.2 +++ b/src/Pure/General/markup.scala	Tue May 25 23:03:13 2010 +0200
     1.3 @@ -193,7 +193,6 @@
     1.4    val INIT = "init"
     1.5    val STATUS = "status"
     1.6    val WRITELN = "writeln"
     1.7 -  val PRIORITY = "priority"
     1.8    val TRACING = "tracing"
     1.9    val WARNING = "warning"
    1.10    val ERROR = "error"

     2.1 --- a/src/Pure/System/isabelle_process.ML	Tue May 25 22:21:31 2010 +0200
     2.2 +++ b/src/Pure/System/isabelle_process.ML	Tue May 25 23:03:13 2010 +0200
     2.3 @@ -73,11 +73,11 @@
     2.4    in
     2.5      Output.status_fn   := standard_message out_stream "B";
     2.6      Output.writeln_fn  := standard_message out_stream "C";
     2.7 -    Output.priority_fn := standard_message out_stream "D";
     2.8 -    Output.tracing_fn  := standard_message out_stream "E";
     2.9 -    Output.warning_fn  := standard_message out_stream "F";
    2.10 -    Output.error_fn    := standard_message out_stream "G";
    2.11 -    Output.debug_fn    := standard_message out_stream "H";
    2.12 +    Output.tracing_fn  := standard_message out_stream "D";
    2.13 +    Output.warning_fn  := standard_message out_stream "E";
    2.14 +    Output.error_fn    := standard_message out_stream "F";
    2.15 +    Output.debug_fn    := standard_message out_stream "G";
    2.16 +    Output.priority_fn := ! Output.writeln_fn;
    2.17      Output.prompt_fn   := ignore;
    2.18      out_stream
    2.19    end;

     3.1 --- a/src/Pure/System/isabelle_process.scala	Tue May 25 22:21:31 2010 +0200
     3.2 +++ b/src/Pure/System/isabelle_process.scala	Tue May 25 23:03:13 2010 +0200
     3.3 @@ -32,7 +32,6 @@
     3.4      val INIT = Value("INIT")
     3.5      val STATUS = Value("STATUS")
     3.6      val WRITELN = Value("WRITELN")
     3.7 -    val PRIORITY = Value("PRIORITY")
     3.8      val TRACING = Value("TRACING")
     3.9      val WARNING = Value("WARNING")
    3.10      val ERROR = Value("ERROR")
    3.11 @@ -42,11 +41,10 @@
    3.12        ('A' : Int) -> Kind.INIT,
    3.13        ('B' : Int) -> Kind.STATUS,
    3.14        ('C' : Int) -> Kind.WRITELN,
    3.15 -      ('D' : Int) -> Kind.PRIORITY,
    3.16 -      ('E' : Int) -> Kind.TRACING,
    3.17 -      ('F' : Int) -> Kind.WARNING,
    3.18 -      ('G' : Int) -> Kind.ERROR,
    3.19 -      ('H' : Int) -> Kind.DEBUG,
    3.20 +      ('D' : Int) -> Kind.TRACING,
    3.21 +      ('E' : Int) -> Kind.WARNING,
    3.22 +      ('F' : Int) -> Kind.ERROR,
    3.23 +      ('G' : Int) -> Kind.DEBUG,
    3.24        ('0' : Int) -> Kind.SYSTEM,
    3.25        ('1' : Int) -> Kind.STDIN,
    3.26        ('2' : Int) -> Kind.STDOUT,
    3.27 @@ -57,7 +55,6 @@
    3.28        Kind.INIT -> Markup.INIT,
    3.29        Kind.STATUS -> Markup.STATUS,
    3.30        Kind.WRITELN -> Markup.WRITELN,
    3.31 -      Kind.PRIORITY -> Markup.PRIORITY,
    3.32        Kind.TRACING -> Markup.TRACING,
    3.33        Kind.WARNING -> Markup.WARNING,
    3.34        Kind.ERROR -> Markup.ERROR,

     4.1 --- a/src/Tools/jEdit/dist-template/etc/isabelle-jedit.css	Tue May 25 22:21:31 2010 +0200
     4.2 +++ b/src/Tools/jEdit/dist-template/etc/isabelle-jedit.css	Tue May 25 23:03:13 2010 +0200
     4.3 @@ -3,7 +3,6 @@
     4.4  .message { margin-top: 0.3ex; background-color: #F0F0F0; }
     4.5  
     4.6  .writeln { }
     4.7 -.priority { }
     4.8  .tracing { background-color: #EAF8FF; }
     4.9  .warning { background-color: #EEE8AA; }
    4.10  .error { background-color: #FFC1C1; }