Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/VSCode/extension/package.json
changeset 64750 1f855e03455f
parent 64749 2450b62574c6
child 64752 c23c754f8c58 
--- a/src/Tools/VSCode/extension/package.json	Mon Jan 02 14:14:33 2017 +0100
+++ b/src/Tools/VSCode/extension/package.json	Mon Jan 02 14:25:46 2017 +0100
@@ -17,7 +17,8 @@
     "engines": { "vscode": "^1.7.0" },
     "categories": ["Languages"],
     "activationEvents": [
-        "onLanguage:isabelle"
+        "onLanguage:isabelle",
+        "onLanguage:isabelle-ml"
     ],
     "main": "./out/src/extension",
     "contributes": {
isabelle