src/Pure/PIDE/isabelle_markup.scala
changeset 48768 abc45de5bb22
parent 48756 1c843142758e
child 49009 15381ea111ec
     1.1 --- a/src/Pure/PIDE/isabelle_markup.scala	Sat Aug 11 17:23:09 2012 +0200
     1.2 +++ b/src/Pure/PIDE/isabelle_markup.scala	Sat Aug 11 17:24:21 2012 +0200
     1.3 @@ -236,7 +236,6 @@
     1.4  
     1.5    val NO_REPORT = "no_report"
     1.6  
     1.7 -  val Message = new Properties.String("message")
     1.8    val BAD = "bad"
     1.9  
    1.10