src/Tools/VSCode/extension/package.json
changeset 64749 2450b62574c6
parent 64743 ebaf9d01a964
child 64750 1f855e03455f
--- a/src/Tools/VSCode/extension/package.json	Mon Jan 02 11:42:15 2017 +0100
+++ b/src/Tools/VSCode/extension/package.json	Mon Jan 02 14:14:33 2017 +0100
@@ -27,13 +27,27 @@
                 "aliases": ["Isabelle"],
                 "extensions": [".thy"],
                 "configuration": "./isabelle-language.json"
+            },
+            {
+                "id": "isabelle-ml",
+                "aliases": ["Isabelle/ML"],
+                "extensions": [".ML"],
+                "configuration": "./isabelle-language.json"
             }
+
         ],
-        "grammars": [{
+        "grammars": [
+            {
                 "language": "isabelle",
                 "scopeName": "source.isabelle",
                 "path": "./isabelle-grammar.json"
-        }],
+            },
+            {
+                "language": "isabelle-ml",
+                "scopeName": "source.isabelle-ml",
+                "path": "./isabelle-ml-grammar.json"
+            }
+        ],
         "configuration": {
             "title": "Isabelle",
             "properties": {