64757
|
1 |
# Isabelle Prover IDE support
|
|
2 |
|
|
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:
|
64605
|
6 |
|
64757
|
7 |
* http://isabelle.in.tum.de/devel
|
|
8 |
* http://isabelle.in.tum.de/repos/isabelle/file/tip/src/Tools/VSCode
|
|
9 |
|
64605
|
10 |
|
64757
|
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.
|