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