equal
deleted
inserted
replaced
2 |
2 |
3 * Extension for the editor ([TypeScript](extension/src/extension.ts)) |
3 * Extension for the editor ([TypeScript](extension/src/extension.ts)) |
4 * Language Server protocol implementation ([Isabelle/Scala](src/server.scala)) |
4 * Language Server protocol implementation ([Isabelle/Scala](src/server.scala)) |
5 |
5 |
6 |
6 |
7 ## Build and run ## |
7 ## Run ## |
8 |
8 |
9 * shell> `isabelle build -b HOL` |
9 * shell> `isabelle build -b HOL` |
10 |
10 |
11 * shell> `cd src/Tools/VSCode/extension; vsce package` |
11 * Extensions: search "Isabelle 0.1.0", click "Install" |
12 |
12 |
13 * Preferences / User settings / edit settings.json: e.g. |
13 * Preferences / User settings / edit settings.json: e.g. |
14 `"isabelle.home": "/home/makarius/isabelle/repos"` |
14 `"isabelle.home": "/home/makarius/isabelle/repos"` |
15 |
15 |
16 * Extensions / ... / Install from VSIX: `src/Tools/VSCode/extension/isabelle-0.1.0.vsix` |
|
17 |
|
18 * File / Open Folder: e.g. `src/HOL/Isar_Examples/` then open .thy files |
16 * File / Open Folder: e.g. `src/HOL/Isar_Examples/` then open .thy files |
19 |
17 |
20 |
18 |
21 ## Debug |
19 ## Debug ## |
22 |
20 |
23 * shell> `code src/Tools/VSCode/extension` |
21 * shell> `code src/Tools/VSCode/extension` |
24 |
22 |
25 * View / Debug / Launch Extension |
23 * View / Debug / Launch Extension |
26 |
24 |
27 * File / Open Folder: e.g. `src/HOL/Isar_Examples/` then open .thy files |
25 * File / Open Folder: e.g. `src/HOL/Isar_Examples/` then open .thy files |
|
26 |
|
27 |
|
28 ## Build ## |
|
29 |
|
30 * shell> `cd src/Tools/VSCode/extension; vsce package` |
28 |
31 |
29 |
32 |
30 ## Relevant links ## |
33 ## Relevant links ## |
31 |
34 |
32 ### VSCode editor ### |
35 ### VSCode editor ### |