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.
less confusion subexpression markup;
authorwenzelm
Mon, 14 Nov 2011 17:47:59 +0100
changeset 45489 9b6f55f34b70
parent 45488 6d71d9e52369
child 45490 20c8c0cca555
less confusion subexpression markup;
src/Tools/jEdit/src/isabelle_markup.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/isabelle_markup.scala	Mon Nov 14 16:52:19 2011 +0100
+++ b/src/Tools/jEdit/src/isabelle_markup.scala	Mon Nov 14 17:47:59 2011 +0100
@@ -215,7 +215,7 @@
 
   private val subexp_include =
     Set(Markup.SORT, Markup.TYP, Markup.TERM, Markup.PROP, Markup.ML_TYPING, Markup.TOKEN_RANGE,
-      Markup.ENTITY, Markup.FREE, Markup.SKOLEM, Markup.BOUND, Markup.VAR,
+      Markup.ENTITY, Markup.TYPING, Markup.FREE, Markup.SKOLEM, Markup.BOUND, Markup.VAR,
       Markup.TFREE, Markup.TVAR, Markup.ML_SOURCE, Markup.DOC_SOURCE)
 
   val subexp =
isabelle