src/Tools/VSCode/extension/package.json
changeset 64735 4ad6d21545bd
parent 64734 12558536d977
child 64736 07bf45283b92
--- 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"