# HG changeset patch
# User wenzelm
# Date 1648161235 -3600
# Node ID 381082508063c18f4682431d303ece354cb57724
# Parent  aeda3606c405c46d9a0b25b70887a227d234f571
provide pre-built vscodium-1.65.2 for all platforms;

diff -r aeda3606c405 -r 381082508063 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Thu Mar 24 22:35:47 2022 +0100
+++ b/Admin/components/components.sha1	Thu Mar 24 23:33:55 2022 +0100
@@ -447,6 +447,7 @@
 b576fd5d89767c1067541d4839fb749c6a68d22c  verit-2021.06.1-rmx.tar.gz
 19c6e5677b0a26cbc5805da79d00d06a66b7a671  verit-2021.06.2-rmx.tar.gz
 c4666a6d8080b5e376b50471fd2d9edeb1f9c988  vscode_extension-20220324.tar.gz
+67b271186631f84efd97246bf85f6d8cfaa5edfd  vscodium-1.65.2.tar.gz
 81d21dfd0ea5c58f375301f5166be9dbf8921a7a  windows_app-20130716.tar.gz
 fe15e1079cf5ad86f3cbab4553722a0d20002d11  windows_app-20130905.tar.gz
 e6a43b7b3b21295853bd2a63b27ea20bd6102f5f  windows_app-20130906.tar.gz
diff -r aeda3606c405 -r 381082508063 Admin/components/main
--- a/Admin/components/main	Thu Mar 24 22:35:47 2022 +0100
+++ b/Admin/components/main	Thu Mar 24 23:33:55 2022 +0100
@@ -30,6 +30,7 @@
 vampire-4.6
 verit-2021.06.2-rmx
 vscode_extension-20220324
+vscodium-1.65.2
 xz-java-1.9
 z3-4.4.0_4.4.1
 zipperposition-2.1-1
diff -r aeda3606c405 -r 381082508063 NEWS
--- a/NEWS	Thu Mar 24 22:35:47 2022 +0100
+++ b/NEWS	Thu Mar 24 23:33:55 2022 +0100
@@ -15,9 +15,15 @@
 
 *** Isabelle/VSCode Prover IDE ***
 
-* Command-line tools "isabelle vscode_setup" and "isabelle vscode"
-provide convenient access to a well-defined version of VSCodium
-(open-source distribution of VSCode without MS telemetry).
+* VSCodium, an open-source distribution of VSCode without MS
+telemetry, has been bundled with Isabelle as add-on component. The
+command-line tool "isabelle vscode" automatically configures it as
+Isabelle/VSCode and starts the application.
+
+* Command-line tools "isabelle electron" and "isabelle node" provide
+access to the underlying technologies of VSCodium, for use in other
+applications. This essentially provides a freely programmable Chromium
+browser engine that works uniformly on all platforms.
 
 
 *** HOL ***