Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated markup conforming to ML side;
authorwenzelm
Thu, 01 Dec 2011 11:54:39 +0100
changeset 45702 7df60d1aa988
parent 45701 615da8b8d758
child 45703 c7a13ce60161
updated markup conforming to ML side;
src/Pure/PIDE/isabelle_markup.scala file | annotate | diff | comparison | revisions 
--- 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"
isabelle