src/Tools/VSCode/extension/README.md
changeset 66070 65a68dcd95c3
parent 65172 365e97f009ed
child 66218 a30bf1c755c1
equal deleted inserted replaced
66069:0a34bfc15e2c 66070:65a68dcd95c3
    17     drive-letter and backslashes.
    17     drive-letter and backslashes.
    18 
    18 
    19 
    19 
    20 ## Isabelle symbols ##
    20 ## Isabelle symbols ##
    21 
    21 
    22 Isabelle symbols like `\<forall>` may be rendered using the extension Prettify
    22 Isabelle symbols like `\<forall>` are rendered using the extension "Prettify
    23 Symbols Mode. It needs to be configured manually as follows:
    23 Symbols Mode", which needs to be installed separately.
    24 
       
    25 $ISABELLE_HOME/src/Tools/VSCode/extension/isabelle-symbols.json contains a
       
    26 configuration (generated via `isabelle build_vscode`). Its content needs to
       
    27 be copied carefully into the regular VSCode User Preferences.