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