Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper engines.vscode (amending c04ccea8bdd2): required for "vsce package", e.g. via "isabelle build_vscode;
authorwenzelm
Fri, 25 Feb 2022 12:56:40 +0100
changeset 75139 177d6af44b34
parent 75138 cd77ffb01e15
child 75140 4400eeb6c32d
proper engines.vscode (amending c04ccea8bdd2): required for "vsce package", e.g. via "isabelle build_vscode;
src/Tools/VSCode/extension/package.json file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/extension/package.json	Thu Feb 24 11:25:09 2022 +0000
+++ b/src/Tools/VSCode/extension/package.json	Fri Feb 25 12:56:40 2022 +0100
@@ -17,7 +17,7 @@
         "url": "https://isabelle-dev.sketis.net"
     },
     "engines": {
-        "vscode": "^1.34.0"
+        "vscode": "^1.64.0"
     },
     "categories": [
         "Programming Languages"
isabelle