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