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 46649 bb185c45037e
parent 46123 aa5c367ee579
child 46774 38f113b052b1 
--- a/src/Pure/PIDE/isabelle_markup.scala	Fri Feb 24 13:50:37 2012 +0100
+++ b/src/Pure/PIDE/isabelle_markup.scala	Fri Feb 24 18:14:06 2012 +0100
@@ -78,7 +78,7 @@
   /* logical entities */
 
   val CLASS = "class"
-  val TYPE = "type"
+  val TYPE_NAME = "type name"
   val FIXED = "fixed"
   val CONSTANT = "constant"
isabelle