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.
tuned markup;
authorwenzelm
Sat, 18 Jun 2011 23:51:22 +0200
changeset 43453 3c9696efe6b4
parent 43452 5cf548485529
child 43454 71b7a535cf96
tuned markup;
src/Tools/jEdit/src/isabelle_markup.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/isabelle_markup.scala	Sat Jun 18 23:34:34 2011 +0200
+++ b/src/Tools/jEdit/src/isabelle_markup.scala	Sat Jun 18 23:51:22 2011 +0200
@@ -118,7 +118,7 @@
       Markup.TCLASS -> get_color("red"),
       Markup.TFREE -> get_color("#A020F0"),
       Markup.TVAR -> get_color("#A020F0"),
-      Markup.CONST -> get_color("dimgrey"),
+      Markup.CONST -> get_color("black"),
       Markup.FREE -> get_color("blue"),
       Markup.SKOLEM -> get_color("#D2691E"),
       Markup.BOUND -> get_color("green"),
isabelle