src/Pure/PIDE/markup.scala
changeset 52854 92932931bd82
parent 52800 1baa5d19ac44
child 52876 78989972d5b8
     1.1 --- a/src/Pure/PIDE/markup.scala	Fri Aug 02 22:13:31 2013 +0200
     1.2 +++ b/src/Pure/PIDE/markup.scala	Fri Aug 02 22:17:53 2013 +0200
     1.3 @@ -18,6 +18,9 @@
     1.4    val KIND = "kind"
     1.5    val Kind = new Properties.String(KIND)
     1.6  
     1.7 +  val INSTANCE = "instance"
     1.8 +  val Instance = new Properties.String(INSTANCE)
     1.9 +
    1.10  
    1.11    /* basic markup */
    1.12