# HG changeset patch
# User wenzelm
# Date 1648222515 -3600
# Node ID ddc7a6fc7c2dccc9c7b78cabc5172a7088f80a3c
# Parent  647611e6da76d29e53014c03dd8b9f6471532011
tuned;

diff -r 647611e6da76 -r ddc7a6fc7c2d NEWS
--- a/NEWS	Fri Mar 25 13:52:23 2022 +0100
+++ b/NEWS	Fri Mar 25 16:35:15 2022 +0100
@@ -15,10 +15,11 @@
 
 *** Isabelle/VSCode Prover IDE ***
 
-* 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.
+* 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. This includes special support for the
+UTF8-Isabelle encoding and the corresponding Isabelle fonts.
 
 * Command-line tools "isabelle electron" and "isabelle node" provide
 access to the underlying technologies of VSCodium, for use in other