src/Tools/VSCode/extension/package.json
changeset 64736 07bf45283b92
parent 64735 4ad6d21545bd
child 64738 bcdecd466cb2
--- a/src/Tools/VSCode/extension/package.json	Sun Jan 01 20:24:19 2017 +0100
+++ b/src/Tools/VSCode/extension/package.json	Sun Jan 01 21:26:26 2017 +0100
@@ -26,7 +26,7 @@
                 "id": "isabelle",
                 "aliases": ["Isabelle"],
                 "extensions": [".thy"],
-                "configuration": "./language-configuration.json"
+                "configuration": "./isabelle-language.json"
             }
         ],
         "configuration": {