# HG changeset patch
# User wenzelm
# Date 1661810387 -7200
# Node ID 04ce6cf2bd3b77d704eed036a515ca1ebd622a5a
# Parent  f3d8da9924454603a3cb1db1a6048a3e1c65e146
update VSCodium 1.65.2 ~> 1.70.1, Electron 13.5.2 ~> 18.3.5, Node.js v14.16.0 ~> v16.13.2;

diff -r f3d8da992445 -r 04ce6cf2bd3b Admin/components/components.sha1
--- a/Admin/components/components.sha1	Mon Aug 29 19:26:27 2022 +0200
+++ b/Admin/components/components.sha1	Mon Aug 29 23:59:47 2022 +0200
@@ -461,7 +461,9 @@
 19c6e5677b0a26cbc5805da79d00d06a66b7a671 verit-2021.06.2-rmx.tar.gz
 c4666a6d8080b5e376b50471fd2d9edeb1f9c988 vscode_extension-20220324.tar.gz
 86c952d739d1eb868be88898982d4870a3d8c2dc vscode_extension-20220325.tar.gz
+5293b9e77e5c887d449b671828b133fad4f18632 vscode_extension-20220829.tar.gz
 67b271186631f84efd97246bf85f6d8cfaa5edfd vscodium-1.65.2.tar.gz
+c439ab741e0cc49354cc03aa9af501202a5a38e3 vscodium-1.70.1.tar.gz
 81d21dfd0ea5c58f375301f5166be9dbf8921a7a windows_app-20130716.tar.gz
 fe15e1079cf5ad86f3cbab4553722a0d20002d11 windows_app-20130905.tar.gz
 e6a43b7b3b21295853bd2a63b27ea20bd6102f5f windows_app-20130906.tar.gz
diff -r f3d8da992445 -r 04ce6cf2bd3b Admin/components/main
--- a/Admin/components/main	Mon Aug 29 19:26:27 2022 +0200
+++ b/Admin/components/main	Mon Aug 29 23:59:47 2022 +0200
@@ -29,8 +29,8 @@
 stack-2.7.3
 vampire-4.6
 verit-2021.06.2-rmx
-vscode_extension-20220325
-vscodium-1.65.2
+vscode_extension-20220829
+vscodium-1.70.1
 xz-java-1.9
 z3-4.4.0_4.4.1
 zipperposition-2.1-1
diff -r f3d8da992445 -r 04ce6cf2bd3b src/Tools/VSCode/etc/settings
--- a/src/Tools/VSCode/etc/settings	Mon Aug 29 19:26:27 2022 +0200
+++ b/src/Tools/VSCode/etc/settings	Mon Aug 29 23:59:47 2022 +0200
@@ -1,5 +1,5 @@
 # -*- shell-script -*- :mode=shellscript:
 
-ISABELLE_VSCODE_VERSION="1.65.2"
+ISABELLE_VSCODE_VERSION="1.70.1"
 ISABELLE_VSCODE_HOME="$ISABELLE_HOME/src/Tools/VSCode"
 ISABELLE_VSCODE_SETTINGS="$ISABELLE_HOME_USER/vscode"
diff -r f3d8da992445 -r 04ce6cf2bd3b src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Mon Aug 29 19:26:27 2022 +0200
+++ b/src/Tools/VSCode/extension/package.json	Mon Aug 29 23:59:47 2022 +0200
@@ -17,7 +17,7 @@
         "url": "https://isabelle-dev.sketis.net"
     },
     "engines": {
-        "vscode": "1.65.2"
+        "vscode": "1.70.1"
     },
     "categories": [
         "Programming Languages"