changeset 64872 | 9c194386db8d |
parent 64757 | 7e3924224769 |
child 65060 | 98931050065f |
64871:2d594dabcca6 | 64872:9c194386db8d |
---|---|
26 ## Build ## |
26 ## Build ## |
27 |
27 |
28 * shell> `cd src/Tools/VSCode/extension` |
28 * shell> `cd src/Tools/VSCode/extension` |
29 |
29 |
30 * shell> `isabelle vscode_grammar` |
30 * shell> `isabelle vscode_grammar` |
31 |
|
32 * shell> `isabelle vscode_symbols` |
|
31 |
33 |
32 * shell> `vsce package` |
34 * shell> `vsce package` |
33 |
35 |
34 |
36 |
35 ## Relevant links ## |
37 ## Relevant links ## |