src/Tools/VSCode/extension/README.md
changeset 65138 64dfee6bd243
parent 64948 e655d965307c
child 65172 365e97f009ed
equal deleted inserted replaced
65137:812c35fbffa8 65138:64dfee6bd243
    26 
    26 
    27 Isabelle symbols like `\<forall>` may be rendered using the extension Prettify
    27 Isabelle symbols like `\<forall>` may be rendered using the extension Prettify
    28 Symbols Mode. It needs to be configured manually as follows:
    28 Symbols Mode. It needs to be configured manually as follows:
    29 
    29 
    30 $ISABELLE_HOME/src/Tools/VSCode/extension/isabelle-symbols.json contains a
    30 $ISABELLE_HOME/src/Tools/VSCode/extension/isabelle-symbols.json contains a
    31 configuration (generated via `isabelle vscode_symbols`). Its content needs to
    31 configuration (generated via `isabelle build_vscode`). Its content needs to
    32 be copied carefully into the regular VSCode User Preferences.
    32 be copied carefully into the regular VSCode User Preferences.