src/Pure/PIDE/isabelle_markup.scala
changeset 48756 1c843142758e
parent 48752 8a81ef0bc790
child 48768 abc45de5bb22
     1.1 --- a/src/Pure/PIDE/isabelle_markup.scala	Fri Aug 10 15:14:45 2012 +0200
     1.2 +++ b/src/Pure/PIDE/isabelle_markup.scala	Fri Aug 10 15:57:22 2012 +0200
     1.3 @@ -236,6 +236,7 @@
     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