author | wenzelm |
Sun, 01 Jan 2017 23:56:36 +0100 | |
changeset 64740 | 01af31db2720 |
parent 64739 | 3224021893c0 |
child 64741 | 17bd2947a822 |
--- 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 ##