# HG changeset patch
# User wenzelm
# Date 1645183230 -3600
# Node ID 445ec26fe47ffcae8e95ff4463663d93ad448672
# Parent  2af8426e1f6500049ac1c1a3a35c2712e18c7e1f
NEWS;

diff -r 2af8426e1f65 -r 445ec26fe47f NEWS
--- a/NEWS	Fri Feb 18 12:18:41 2022 +0100
+++ b/NEWS	Fri Feb 18 12:20:30 2022 +0100
@@ -13,6 +13,13 @@
 since Isabelle2019). INCOMPATIBILITY, use \<open>cartouche\<close> syntax instead.
 
 
+*** 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).
+
+
 *** HOL ***
 
 * Rule split_of_bool_asm is not split any longer, analogously to