src/Pure/PIDE/markup.scala
changeset 58464 5e7fc9974aba
parent 58048 aa6296d09e0e
child 58544 340f130b3d38
     1.1 --- a/src/Pure/PIDE/markup.scala	Fri Sep 26 14:29:06 2014 +0200
     1.2 +++ b/src/Pure/PIDE/markup.scala	Fri Sep 26 15:05:11 2014 +0200
     1.3 @@ -115,6 +115,11 @@
     1.4    val POSITION = "position"
     1.5  
     1.6  
     1.7 +  /* expression */
     1.8 +
     1.9 +  val EXPRESSION = "expression"
    1.10 +
    1.11 +
    1.12    /* embedded languages */
    1.13  
    1.14    val Symbols = new Properties.Boolean("symbols")