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;
authorwenzelm
Thu, 05 Jan 2017 22:37:52 +0100
changeset 64808 81a5473e6d04
parent 64807 7d556bb6046b
child 64809 a0e1f64be67c
tuned;
src/Tools/VSCode/src/grammar.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/src/grammar.scala	Thu Jan 05 22:28:22 2017 +0100
+++ b/src/Tools/VSCode/src/grammar.scala	Thu Jan 05 22:37:52 2017 +0100
@@ -93,7 +93,7 @@
       "match": """ + grouped_names(operators) + """
     },
     {
-      "name": "constant.language.isabelle",
+      "name": "entity.name.function.isabelle",
       "match": """ + grouped_names(keywords3) + """
     },
     {
isabelle