Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/VSCode/extension/README.md
changeset 75347 b75fefe1ddb5
parent 75338 73034d385688 
--- 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.
isabelle