# HG changeset patch
# User wenzelm
# Date 1483298659 -3600
# Node ID 4ad6d21545bd4c08fa7d65ba0b8c3873c4cec300
# Parent  12558536d977c71e598edc2eca9979fbd5bbf1f0
tuned;

diff -r 12558536d977 -r 4ad6d21545bd src/Tools/VSCode/extension/package.json
--- 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"
diff -r 12558536d977 -r 4ad6d21545bd src/Tools/VSCode/extension/src/extension.ts
--- 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);
 }