equal
deleted
inserted
replaced
23 * File / Open Folder: e.g. `src/HOL/Isar_Examples/` then open .thy files |
23 * File / Open Folder: e.g. `src/HOL/Isar_Examples/` then open .thy files |
24 |
24 |
25 |
25 |
26 ## Build ## |
26 ## Build ## |
27 |
27 |
28 * shell> `cd src/Tools/VSCode/extension; vsce package` |
28 * shell> `cd src/Tools/VSCode/extension` |
|
29 |
|
30 * shell> `isabelle vscode_grammar` |
|
31 |
|
32 * shell> `vsce package` |
29 |
33 |
30 |
34 |
31 ## Relevant links ## |
35 ## Relevant links ## |
32 |
36 |
33 ### VSCode editor ### |
37 ### VSCode editor ### |