tuned;

--- a/src/Tools/VSCode/extension/package.json	Sun Jan 01 13:38:20 2017 +0100
+++ b/src/Tools/VSCode/extension/package.json	Sun Jan 01 20:24:19 2017 +0100
@@ -14,7 +14,7 @@
     "publisher": "makarius",
     "license": "BSD-3-Clause",
     "repository": { "url": "http://isabelle.in.tum.de/repos/isabelle" },
-    "engines": { "vscode": "^1.5.0" },
+    "engines": { "vscode": "^1.7.0" },
     "categories": ["Languages"],
     "activationEvents": [
         "onLanguage:isabelle"

--- a/src/Tools/VSCode/extension/src/extension.ts	Sun Jan 01 13:38:20 2017 +0100
+++ b/src/Tools/VSCode/extension/src/extension.ts	Sun Jan 01 20:24:19 2017 +0100
@@ -26,8 +26,7 @@
   };
   let client_options: LanguageClientOptions = { documentSelector: "isabelle" };
 
-  let disposable =
-    new LanguageClient("Isabelle Language Service", server_options, client_options, false).start();
+  let disposable = new LanguageClient("Isabelle", server_options, client_options, false).start();
   context.subscriptions.push(disposable);
 }