src/Tools/VSCode/extension/README.md
changeset 69343 395c4fb15ea2
parent 68870 53a75627aab7
child 70234 4e0834322981
--- a/src/Tools/VSCode/extension/README.md	Sat Nov 24 16:41:18 2018 +0100
+++ b/src/Tools/VSCode/extension/README.md	Sat Nov 24 18:56:44 2018 +0100
@@ -161,7 +161,7 @@
 
 ## Known Limitations of Isabelle/VSCode
 
-  * Lack of specific support for the `IsabelleText` fonts: these need to be
+  * Lack of specific support for the Isabelle fonts: these need to be
   manually installed on the system and configured for VSCode (see also
   `$ISABELLE_FONTS` within the Isabelle environment).