tuned;
authorwenzelm
Wed Jan 25 23:08:29 2017 +0100 (2017-01-25)
changeset 64948e655d965307c
parent 64947 f6ad52152040
child 64949 09b872c58c32
tuned;
src/Tools/VSCode/extension/README.md
     1.1 --- a/src/Tools/VSCode/extension/README.md	Wed Jan 25 18:26:35 2017 +0100
     1.2 +++ b/src/Tools/VSCode/extension/README.md	Wed Jan 25 23:08:29 2017 +0100
     1.3 @@ -10,9 +10,16 @@
     1.4  
     1.5  ## Important User Settings ##
     1.6  
     1.7 -  * `isabelle.home` points to the main Isabelle directory (ISABELLE_HOME).
     1.8 -  * `isabelle.cygwin_root` (on Windows) points to the Cygwin installation,
     1.9 -    e.g. ISABELLE_HOME/cygwin for a regular Isabelle application bundle.
    1.10 +  * On Linux and Mac OS X: `isabelle.home` points to the main Isabelle
    1.11 +    directory (`$ISABELLE_HOME`).
    1.12 +
    1.13 +  * On Windows: `isabelle.home` as above, but in Windows path notation with
    1.14 +    drive-letter and backslashes.
    1.15 +
    1.16 +    Moreover, `isabelle.cygwin_root` needs to point to a suitable Cygwin
    1.17 +    installation, e.g. `$ISABELLE_HOME\contrib\cygwin` for a regular Isabelle
    1.18 +    application bundle, or `C:\cygwin` for a stand-alone installation used
    1.19 +    with Isabelle repository snapshot.
    1.20  
    1.21  
    1.22  ## Isabelle symbols ##
    1.23 @@ -20,6 +27,6 @@
    1.24  Isabelle symbols like `\<forall>` may be rendered using the extension Prettify
    1.25  Symbols Mode. It needs to be configured manually as follows:
    1.26  
    1.27 -ISABELLE_HOME/src/Tools/VSCode/extension/isabelle-symbols.json contains a
    1.28 +$ISABELLE_HOME/src/Tools/VSCode/extension/isabelle-symbols.json contains a
    1.29  configuration (generated via `isabelle vscode_symbols`). Its content needs to
    1.30  be copied carefully into the regular VSCode User Preferences.