author | wenzelm |
Thu, 29 Jun 2017 23:06:20 +0200 | |
changeset 66229 | d3b6e5e47015 |
parent 66227 | 7470985f3fb6 |
child 66230 | ae814012b95f |
permissions | -rw-r--r-- |
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 |
|
66218 | 7 |
* <http://isabelle.in.tum.de/devel/release_snapshot> |
8 |
* <http://isabelle.in.tum.de/repos/isabelle/file/tip/src/Tools/VSCode> |
|
64757 | 9 |
|
66227 | 10 |
![[Isabelle/VSCode screenshot]](isabelle_vscode.png) |
11 |
||
64605 | 12 |
|
66218 | 13 |
## Prerequisites ## |
14 |
||
15 |
### Important User Settings ### |
|
64757 | 16 |
|
64948 | 17 |
* On Linux and Mac OS X: `isabelle.home` points to the main Isabelle |
18 |
directory (`$ISABELLE_HOME`). |
|
19 |
||
20 |
* On Windows: `isabelle.home` as above, but in Windows path notation with |
|
21 |
drive-letter and backslashes. |
|
22 |
||
66227 | 23 |
|
66218 | 24 |
### Support for Isabelle symbols ### |
64873 | 25 |
|
66070
65a68dcd95c3
dynamic configuration of prettify-symbols-mode, similar to VSCoq;
wenzelm
parents:
65172
diff
changeset
|
26 |
Isabelle symbols like `\<forall>` are rendered using the extension "Prettify |
65a68dcd95c3
dynamic configuration of prettify-symbols-mode, similar to VSCoq;
wenzelm
parents:
65172
diff
changeset
|
27 |
Symbols Mode", which needs to be installed separately. |
66218 | 28 |
|
29 |
In addition, the following user settings should be changed: |
|
30 |
||
31 |
``` |
|
32 |
"prettifySymbolsMode.substitutions": [ |
|
33 |
{ |
|
34 |
"language": "isabelle", |
|
35 |
"revealOn": "none", |
|
36 |
"adjustCursorMovement": true, |
|
37 |
"prettyCursor": "none", |
|
38 |
"substitutions": [] |
|
39 |
}, |
|
40 |
{ |
|
41 |
"language": "isabelle-ml", |
|
42 |
"revealOn": "none", |
|
43 |
"adjustCursorMovement": true, |
|
44 |
"prettyCursor": "none", |
|
45 |
"substitutions": [] |
|
46 |
}] |
|
47 |
``` |
|
48 |
||
49 |
||
50 |
## Further Preferences ## |
|
51 |
||
52 |
* Preferred Color Theme: `Light+ (default light)` |
|
53 |
||
54 |
* Alternative Color Theme: `Dark+ (default dark)` – with restrictions: some color |
|
66221 | 55 |
combinations don't work out properly. |
66218 | 56 |
|
57 |
* Recommended changes to default VSCode settings: |
|
58 |
||
59 |
``` |
|
66223 | 60 |
"editor.acceptSuggestionOnEnter": "off", |
61 |
"editor.lineNumbers": "off", |
|
62 |
"editor.renderIndentGuides": false, |
|
63 |
"editor.rulers": [100], |
|
64 |
"editor.wordBasedSuggestions": true, |
|
66218 | 65 |
``` |