src/Tools/VSCode/extension/package.json
changeset 64750 1f855e03455f
parent 64749 2450b62574c6
child 64752 c23c754f8c58
     1.1 --- a/src/Tools/VSCode/extension/package.json	Mon Jan 02 14:14:33 2017 +0100
     1.2 +++ b/src/Tools/VSCode/extension/package.json	Mon Jan 02 14:25:46 2017 +0100
     1.3 @@ -17,7 +17,8 @@
     1.4      "engines": { "vscode": "^1.7.0" },
     1.5      "categories": ["Languages"],
     1.6      "activationEvents": [
     1.7 -        "onLanguage:isabelle"
     1.8 +        "onLanguage:isabelle",
     1.9 +        "onLanguage:isabelle-ml"
    1.10      ],
    1.11      "main": "./out/src/extension",
    1.12      "contributes": {