src/Pure/PIDE/isabelle_markup.scala
changeset 48752 8a81ef0bc790
parent 48751 dc3bbdda4bc8
child 48756 1c843142758e
     1.1 --- a/src/Pure/PIDE/isabelle_markup.scala	Fri Aug 10 10:18:07 2012 +0200
     1.2 +++ b/src/Pure/PIDE/isabelle_markup.scala	Fri Aug 10 10:23:54 2012 +0200
     1.3 @@ -150,10 +150,6 @@
     1.4    val COMMENT = "comment"
     1.5    val CONTROL = "control"
     1.6  
     1.7 -  val COMMAND_SPAN = "command_span"
     1.8 -  val IGNORED_SPAN = "ignored_span"
     1.9 -  val MALFORMED_SPAN = "malformed_span"
    1.10 -
    1.11  
    1.12    /* timing */
    1.13