src/Tools/VSCode/extension/README.md
changeset 64757 7e3924224769
parent 64605 9c1173a7e4cb
child 64873 ee5aaf7bce0d
equal deleted inserted replaced
64756:3cc892bd8f0f 64757:7e3924224769
     1 # Isabelle language support
     1 # Isabelle Prover IDE support
     2 
     2 
     3 This extension provides language support for Isabelle.
     3 This extension connects to the Isabelle Prover IDE infrastructure, using the
       
     4 VSCode Language Server protocol. This requires a recent development version of
       
     5 Isabelle from 2017, see also:
     4 
     6 
     5 Make sure that User Settings `isabelle.home` points to the ISABELLE_HOME
     7   * http://isabelle.in.tum.de/devel
     6 directory.
     8   * http://isabelle.in.tum.de/repos/isabelle/file/tip/src/Tools/VSCode
       
     9 
       
    10 
       
    11 ## Important User Settings ##
       
    12 
       
    13   * `isabelle.home` points to the main Isabelle directory (ISABELLE_HOME).
       
    14   * `isabelle.cygwin_root` (on Windows) points to the Cygwin installation,
       
    15     e.g. ISABELLE_HOME/cygwin for a regular Isabelle application bundle.