src/Tools/VSCode/extension/package.json
changeset 64752 c23c754f8c58
parent 64750 1f855e03455f
child 64755 ceb81f4928ea
--- a/src/Tools/VSCode/extension/package.json	Mon Jan 02 14:37:58 2017 +0100
+++ b/src/Tools/VSCode/extension/package.json	Mon Jan 02 14:44:14 2017 +0100
@@ -33,7 +33,7 @@
                 "id": "isabelle-ml",
                 "aliases": ["Isabelle/ML"],
                 "extensions": [".ML"],
-                "configuration": "./isabelle-language.json"
+                "configuration": "./isabelle-ml-language.json"
             }
 
         ],