--- a/src/Tools/VSCode/etc/settings Tue Mar 15 13:11:53 2022 +0100
+++ b/src/Tools/VSCode/etc/settings Tue Mar 15 13:13:05 2022 +0100
@@ -1,5 +1,5 @@
# -*- shell-script -*- :mode=shellscript:
-ISABELLE_VSCODE_VERSION="1.65.0"
+ISABELLE_VSCODE_VERSION="1.65.2"
ISABELLE_VSCODE_HOME="$ISABELLE_HOME/src/Tools/VSCode"
ISABELLE_VSCODE_SETTINGS="$ISABELLE_HOME_USER/vscode"
--- a/src/Tools/VSCode/extension/package.json Tue Mar 15 13:11:53 2022 +0100
+++ b/src/Tools/VSCode/extension/package.json Tue Mar 15 13:13:05 2022 +0100
@@ -17,7 +17,7 @@
"url": "https://isabelle-dev.sketis.net"
},
"engines": {
- "vscode": "1.65.0"
+ "vscode": "1.65.2"
},
"categories": [
"Programming Languages"
@@ -321,7 +321,7 @@
"devDependencies": {
"@types/mocha": "^9.1.0",
"@types/node": "^17.0.19",
- "@types/vscode": "1.65.0",
+ "@types/vscode": "^1.65.0",
"mocha": "^9.2.1",
"typescript": "^4.5.5"
},
--- a/src/Tools/VSCode/extension/yarn.lock Tue Mar 15 13:11:53 2022 +0100
+++ b/src/Tools/VSCode/extension/yarn.lock Tue Mar 15 13:13:05 2022 +0100
@@ -12,7 +12,7 @@
resolved "https://registry.yarnpkg.com/@types/node/-/node-17.0.21.tgz#864b987c0c68d07b4345845c3e63b75edd143644"
integrity sha512-DBZCJbhII3r90XbQxI8Y9IjjiiOGlZ0Hr32omXIZvwwZ7p4DMMXGrKXVyPfuoBOri9XNtL0UK69jYIBIsRX3QQ==
-"@types/vscode@1.65.0":
+"@types/vscode@^1.65.0":
version "1.65.0"
resolved "https://registry.yarnpkg.com/@types/vscode/-/vscode-1.65.0.tgz#042dd8d93c32ac62cb826cd0fa12376069d1f448"
integrity sha512-wQhExnh2nEzpjDMSKhUvnNmz3ucpd3E+R7wJkOhBNK3No6fG3VUdmVmMOKD0A8NDZDDDiQcLNxe3oGmX5SjJ5w==