changeset 75147 | f9d2a9e94138 |
parent 75143 | 4b740c1740eb |
child 75254 | 0c9752726e9d |
--- a/src/Tools/VSCode/README.md Fri Feb 25 14:42:38 2022 +0100 +++ b/src/Tools/VSCode/README.md Fri Feb 25 15:01:47 2022 +0100 @@ -19,7 +19,7 @@ * Shell commands within $ISABELLE_HOME directory: - isabelle vscode --uninstall-extension makarius.Isabelle + isabelle build_vscode -U isabelle vscode src/Tools/VSCode/extension * VSCode commands: