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/markup.scala
changeset 58048 aa6296d09e0e
parent 57595 e2305b9d1534
child 58464 5e7fc9974aba 
--- a/src/Pure/PIDE/markup.scala	Wed Aug 27 12:32:42 2014 +0200
+++ b/src/Pure/PIDE/markup.scala	Wed Aug 27 14:54:32 2014 +0200
@@ -169,7 +169,7 @@
   val HIDDEN = "hidden"
 
 
-  /* logical entities */
+  /* misc entities */
 
   val CLASS = "class"
   val TYPE_NAME = "type_name"
isabelle