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"