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