src/Tools/VSCode/extension/package.json

--- a/src/Tools/VSCode/extension/package.json	Sun Jan 01 23:08:39 2017 +0100
+++ b/src/Tools/VSCode/extension/package.json	Sun Jan 01 23:19:34 2017 +0100
@@ -29,6 +29,11 @@
                 "configuration": "./isabelle-language.json"
             }
         ],
+        "grammars": [{
+                "language": "isabelle",
+                "scopeName": "source.isabelle",
+                "path": "./isabelle-grammar.json"
+        }],
         "configuration": {
             "title": "Isabelle",
             "properties": {