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.
adhoc token style for free/bound;
authorwenzelm
Sun, 27 Mar 2011 18:12:18 +0200
changeset 42132 8616284bd805
parent 42131 1d9710ff7209
child 42133 74479999cf25
adhoc token style for free/bound;
src/Tools/jEdit/src/jedit/isabelle_markup.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/jedit/isabelle_markup.scala	Sun Mar 27 17:55:11 2011 +0200
+++ b/src/Tools/jEdit/src/jedit/isabelle_markup.scala	Sun Mar 27 18:12:18 2011 +0200
@@ -152,10 +152,10 @@
       Markup.LOCAL_FACT -> NULL,
       // inner syntax
       Markup.TFREE -> NULL,
-      Markup.FREE -> NULL,
+      Markup.FREE -> MARKUP,
       Markup.TVAR -> NULL,
       Markup.SKOLEM -> NULL,
-      Markup.BOUND -> NULL,
+      Markup.BOUND -> LABEL,
       Markup.VAR -> NULL,
       Markup.NUM -> DIGIT,
       Markup.FLOAT -> DIGIT,
isabelle