Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/PIDE/isabelle_markup.scala
changeset 49321 a48f9bbbe720
parent 49036 4680c4046814
child 49358 0fa351b1bd14 
--- a/src/Pure/PIDE/isabelle_markup.scala	Wed Sep 12 12:09:40 2012 +0200
+++ b/src/Pure/PIDE/isabelle_markup.scala	Wed Sep 12 13:21:33 2012 +0200
@@ -78,7 +78,7 @@
   /* logical entities */
 
   val CLASS = "class"
-  val TYPE_NAME = "type name"
+  val TYPE_NAME = "type_name"
   val FIXED = "fixed"
   val CONSTANT = "constant"
 
@@ -115,12 +115,12 @@
   /* embedded source text */
 
   val ML_SOURCE = "ML_source"
-  val DOC_SOURCE = "doc_source"
+  val DOCUMENT_SOURCE = "document_source"
 
   val ANTIQ = "antiq"
-  val ML_ANTIQUOTATION = "ML antiquotation"
-  val DOCUMENT_ANTIQUOTATION = "document antiquotation"
-  val DOCUMENT_ANTIQUOTATION_OPTION = "document antiquotation option"
+  val ML_ANTIQUOTATION = "ML_antiquotation"
+  val DOCUMENT_ANTIQUOTATION = "document_antiquotation"
+  val DOCUMENT_ANTIQUOTATION_OPTION = "document_antiquotation_option"
 
 
   /* ML syntax */
isabelle