src/Tools/VSCode/extension/README.md
changeset 64948 e655d965307c
parent 64873 ee5aaf7bce0d
child 65138 64dfee6bd243
equal deleted inserted replaced
64947:f6ad52152040 64948:e655d965307c
     8   * http://isabelle.in.tum.de/repos/isabelle/file/tip/src/Tools/VSCode
     8   * http://isabelle.in.tum.de/repos/isabelle/file/tip/src/Tools/VSCode
     9 
     9 
    10 
    10 
    11 ## Important User Settings ##
    11 ## Important User Settings ##
    12 
    12 
    13   * `isabelle.home` points to the main Isabelle directory (ISABELLE_HOME).
    13   * On Linux and Mac OS X: `isabelle.home` points to the main Isabelle
    14   * `isabelle.cygwin_root` (on Windows) points to the Cygwin installation,
    14     directory (`$ISABELLE_HOME`).
    15     e.g. ISABELLE_HOME/cygwin for a regular Isabelle application bundle.
    15 
       
    16   * On Windows: `isabelle.home` as above, but in Windows path notation with
       
    17     drive-letter and backslashes.
       
    18 
       
    19     Moreover, `isabelle.cygwin_root` needs to point to a suitable Cygwin
       
    20     installation, e.g. `$ISABELLE_HOME\contrib\cygwin` for a regular Isabelle
       
    21     application bundle, or `C:\cygwin` for a stand-alone installation used
       
    22     with Isabelle repository snapshot.
    16 
    23 
    17 
    24 
    18 ## Isabelle symbols ##
    25 ## Isabelle symbols ##
    19 
    26 
    20 Isabelle symbols like `\<forall>` may be rendered using the extension Prettify
    27 Isabelle symbols like `\<forall>` may be rendered using the extension Prettify
    21 Symbols Mode. It needs to be configured manually as follows:
    28 Symbols Mode. It needs to be configured manually as follows:
    22 
    29 
    23 ISABELLE_HOME/src/Tools/VSCode/extension/isabelle-symbols.json contains a
    30 $ISABELLE_HOME/src/Tools/VSCode/extension/isabelle-symbols.json contains a
    24 configuration (generated via `isabelle vscode_symbols`). Its content needs to
    31 configuration (generated via `isabelle vscode_symbols`). Its content needs to
    25 be copied carefully into the regular VSCode User Preferences.
    32 be copied carefully into the regular VSCode User Preferences.