# 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