src/Pure/PIDE/isabelle_markup.scala
changeset 45702 7df60d1aa988
parent 45674 eb65c9d17e2f
child 46121 30a69cd8a9a0
     1.1 --- a/src/Pure/PIDE/isabelle_markup.scala	Wed Nov 30 23:30:08 2011 +0100
     1.2 +++ b/src/Pure/PIDE/isabelle_markup.scala	Thu Dec 01 11:54:39 2011 +0100
     1.3 @@ -93,10 +93,7 @@
     1.4    val SKOLEM = "skolem"
     1.5    val BOUND = "bound"
     1.6    val VAR = "var"
     1.7 -  val NUM = "num"
     1.8 -  val FLOAT = "float"
     1.9 -  val XNUM = "xnum"
    1.10 -  val XSTR = "xstr"
    1.11 +  val NUMERAL = "numeral"
    1.12    val LITERAL = "literal"
    1.13    val DELIMITER = "delimiter"
    1.14    val INNER_STRING = "inner_string"