# HG changeset patch
# User wenzelm
# Date 1645801477 -3600
# Node ID ef4ab304cc9425ca5e1b1bc5470211ba48c4742f
# Parent  6f3f1e13e1e37186ebb43502c97c0a971021c447
removed obsolete material;

diff -r 6f3f1e13e1e3 -r ef4ab304cc94 src/Tools/VSCode/extension/README.md
--- a/src/Tools/VSCode/extension/README.md	Fri Feb 25 15:59:37 2022 +0100
+++ b/src/Tools/VSCode/extension/README.md	Fri Feb 25 16:04:37 2022 +0100
@@ -70,8 +70,6 @@
 
       + *Isabelle* (needs to fit to the underlying Isabelle release).
 
-      + *Prettify Symbols Mode* (important for display of Isabelle symbols).
-
       + *bibtexLanguage* (optional): it gives `.bib` a formal status, thus
         `@{cite}` antiquotations become active for completion and hyperlinks.
 
@@ -110,9 +108,6 @@
     **Note:** As the Isabelle fonts continue to evolve, installed versions need
     to be updated according to each new Isabelle version.
 
-  * Isabelle symbols are merely an optical illusion: it would be better to make
-    them a first-class Unicode charset as in Isabelle/jEdit.
-
   * Isabelle symbol abbreviations like "-->" are not accepted by VSCode.
 
   * Lack of formal editor perspective in VSCode: only the cursor position is