# HG changeset patch
# User wenzelm
# Date 1648222863 -3600
# Node ID b75fefe1ddb5960124a7fb53ea92443b1f1daea4
# Parent  dbe4fc13a0e91bc5593b2ab58b1582a8f552bc95
tuned text, without update of component for now;

diff -r dbe4fc13a0e9 -r b75fefe1ddb5 NEWS
--- a/NEWS	Fri Mar 25 16:40:48 2022 +0100
+++ b/NEWS	Fri Mar 25 16:41:03 2022 +0100
@@ -19,7 +19,7 @@
 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.
+UTF-8-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
diff -r dbe4fc13a0e9 -r b75fefe1ddb5 src/Tools/VSCode/extension/README.md
--- a/src/Tools/VSCode/extension/README.md	Fri Mar 25 16:40:48 2022 +0100
+++ b/src/Tools/VSCode/extension/README.md	Fri Mar 25 16:41:03 2022 +0100
@@ -10,7 +10,7 @@
 The implementation is centered around the VSCode Language Server
 Protocol (LSP), but there are many add-ons that are specific to
 Isabelle/PIDE. Moreover, there are important patches to the VSCodium
-code-base itself, e.g. to support the UTF8-Isabelle encoding for
+code-base itself, e.g. to support the UTF-8-Isabelle encoding for
 mathematical symbols and to incorporate the corresponding Isabelle
 fonts. It is unlikely that this extension will with regular VSCode nor
 with any other LSP-based editor.