author | wenzelm |
Sat, 01 Jun 2019 11:29:59 +0200 | |
changeset 70299 | 83774d669b51 |
parent 66596 | c5bd8267d832 |
child 73539 | f800f8becbfb |
permissions | -rw-r--r-- |
64605 | 1 |
# Isabelle/PIDE for Visual Studio Code editor # |
2 |
||
64696 | 3 |
## Debug ## |
64605 | 4 |
|
5 |
* shell> `code src/Tools/VSCode/extension` |
|
6 |
||
66596
c5bd8267d832
simplified README: this is for development version;
wenzelm
parents:
65158
diff
changeset
|
7 |
* Preferences / User settings / edit settings.json: e.g. |
c5bd8267d832
simplified README: this is for development version;
wenzelm
parents:
65158
diff
changeset
|
8 |
`"isabelle.home": "/home/makarius/isabelle/repos"` |
c5bd8267d832
simplified README: this is for development version;
wenzelm
parents:
65158
diff
changeset
|
9 |
|
64605 | 10 |
* View / Debug / Launch Extension |
11 |
||
12 |
* File / Open Folder: e.g. `src/HOL/Isar_Examples/` then open .thy files |
|
13 |
||
14 |
||
64696 | 15 |
## Build ## |
16 |
||
65138 | 17 |
* shell> `isabelle build_vscode` |
64740 | 18 |
|
65158 | 19 |
* Extensions / ... / Install from VSIX: `src/Tools/VSCode/extension/isabelle-X.Y.Z.vsix` |