src/Pure/PIDE/isabelle_markup.scala
changeset 48751 dc3bbdda4bc8
parent 48712 6b7a9bcc0bae
child 48752 8a81ef0bc790
     1.1 --- a/src/Pure/PIDE/isabelle_markup.scala	Thu Aug 09 22:31:04 2012 +0200
     1.2 +++ b/src/Pure/PIDE/isabelle_markup.scala	Fri Aug 10 10:18:07 2012 +0200
     1.3 @@ -132,7 +132,6 @@
     1.4    val ML_CHAR = "ML_char"
     1.5    val ML_STRING = "ML_string"
     1.6    val ML_COMMENT = "ML_comment"
     1.7 -  val ML_MALFORMED = "ML_malformed"
     1.8  
     1.9    val ML_DEF = "ML_def"
    1.10    val ML_OPEN = "ML_open"
    1.11 @@ -150,7 +149,6 @@
    1.12    val VERBATIM = "verbatim"
    1.13    val COMMENT = "comment"
    1.14    val CONTROL = "control"
    1.15 -  val MALFORMED = "malformed"
    1.16  
    1.17    val COMMAND_SPAN = "command_span"
    1.18    val IGNORED_SPAN = "ignored_span"