--- 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
--- 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
--- 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 ***