src/Pure/System/isabelle_process.scala
changeset 39513 fce2202892c4
parent 39439 1c294d150ded
child 39519 b376f53bcc18
     1.1 --- a/src/Pure/System/isabelle_process.scala	Fri Sep 17 21:50:44 2010 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Fri Sep 17 22:17:57 2010 +0200
     1.3 @@ -28,8 +28,7 @@
     1.4        ('D' : Int) -> Markup.WRITELN,
     1.5        ('E' : Int) -> Markup.TRACING,
     1.6        ('F' : Int) -> Markup.WARNING,
     1.7 -      ('G' : Int) -> Markup.ERROR,
     1.8 -      ('H' : Int) -> Markup.DEBUG)
     1.9 +      ('G' : Int) -> Markup.ERROR)
    1.10      def is_raw(kind: String) =
    1.11        kind == Markup.STDOUT
    1.12      def is_control(kind: String) =