|
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.
|
|
64873
|
16 |
|
|
|
17 |
|
|
|
18 |
## Isabelle symbols ##
|
|
|
19 |
|
|
|
20 |
Isabelle symbols like `\<forall>` may be rendered using the extension Prettify
|
|
|
21 |
Symbols Mode. It needs to be configured manually as follows:
|
|
|
22 |
|
|
|
23 |
ISABELLE_HOME/src/Tools/VSCode/extension/isabelle-symbols.json contains a
|
|
|
24 |
configuration (generated via `isabelle vscode_symbols`). Its content needs to
|
|
|
25 |
be copied carefully into the regular VSCode User Preferences.
|