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.
proper subsexp projection of Isabelle_Markup.Path, in correspondence to 5d0cd770828e;
authorwenzelm
Wed, 05 Sep 2012 17:12:40 +0200
changeset 49164 bde6d900b42a
parent 49163 5d0cd770828e
child 49170 03bee3a6a1b7
proper subsexp projection of Isabelle_Markup.Path, in correspondence to 5d0cd770828e;
src/Tools/jEdit/src/isabelle_rendering.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/isabelle_rendering.scala	Wed Sep 05 16:53:46 2012 +0200
+++ b/src/Tools/jEdit/src/isabelle_rendering.scala	Wed Sep 05 17:12:40 2012 +0200
@@ -92,9 +92,9 @@
   private val subexp_include =
     Set(Isabelle_Markup.SORT, Isabelle_Markup.TYP, Isabelle_Markup.TERM, Isabelle_Markup.PROP,
       Isabelle_Markup.ML_TYPING, Isabelle_Markup.TOKEN_RANGE, Isabelle_Markup.ENTITY,
-      Isabelle_Markup.TYPING, Isabelle_Markup.FREE, Isabelle_Markup.SKOLEM, Isabelle_Markup.BOUND,
-      Isabelle_Markup.VAR, Isabelle_Markup.TFREE, Isabelle_Markup.TVAR, Isabelle_Markup.ML_SOURCE,
-      Isabelle_Markup.DOC_SOURCE)
+      Isabelle_Markup.PATH, Isabelle_Markup.TYPING, Isabelle_Markup.FREE, Isabelle_Markup.SKOLEM,
+      Isabelle_Markup.BOUND, Isabelle_Markup.VAR, Isabelle_Markup.TFREE, Isabelle_Markup.TVAR,
+      Isabelle_Markup.ML_SOURCE, Isabelle_Markup.DOC_SOURCE)
 
   def subexp(snapshot: Document.Snapshot, range: Text.Range): Option[Text.Info[Color]] =
   {
isabelle