changeset 64740 | 01af31db2720 |
parent 64733 | 20174e871623 |
child 64757 | 7e3924224769 |
--- a/src/Tools/VSCode/README.md Sun Jan 01 23:30:18 2017 +0100 +++ b/src/Tools/VSCode/README.md Sun Jan 01 23:56:36 2017 +0100 @@ -25,7 +25,11 @@ ## Build ## -* shell> `cd src/Tools/VSCode/extension; vsce package` +* shell> `cd src/Tools/VSCode/extension` + +* shell> `isabelle vscode_grammar` + +* shell> `vsce package` ## Relevant links ##