proper use of isabelle-ml;

--- 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": {

--- a/src/Tools/VSCode/extension/src/extension.ts	Mon Jan 02 14:14:33 2017 +0100
+++ b/src/Tools/VSCode/extension/src/extension.ts	Mon Jan 02 14:25:46 2017 +0100
@@ -23,7 +23,9 @@
       command: run.command,
       args: run.args.concat(["-L", path.join(context.extensionPath, "protocol.log")]) }
   };
-  let client_options: LanguageClientOptions = { documentSelector: "isabelle" };
+  let client_options: LanguageClientOptions = {
+    documentSelector: ["isabelle", "isabelle-ml"]
+  };
 
   let disposable = new LanguageClient("Isabelle", server_options, client_options, false).start();
   context.subscriptions.push(disposable);