# HG changeset patch
# User wenzelm
# Date 1301242338 -7200
# Node ID 8616284bd805cfd5e33ff203a47b825782d37eed
# Parent  1d9710ff72097f809499b046f1c556e94aa1a752
adhoc token style for free/bound;

diff -r 1d9710ff7209 -r 8616284bd805 src/Tools/jEdit/src/jedit/isabelle_markup.scala
--- 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,