equal
deleted
inserted
replaced
17 |
17 |
18 ## Edit and debug ## |
18 ## Edit and debug ## |
19 |
19 |
20 * Shell commands within $ISABELLE_HOME directory: |
20 * Shell commands within $ISABELLE_HOME directory: |
21 |
21 |
22 isabelle vscode --uninstall-extension makarius.Isabelle |
22 isabelle build_vscode -U |
23 isabelle vscode src/Tools/VSCode/extension |
23 isabelle vscode src/Tools/VSCode/extension |
24 |
24 |
25 * VSCode commands: |
25 * VSCode commands: |
26 Run / Start Debugging (F5) |
26 Run / Start Debugging (F5) |
27 File / Open Folder: e.g. `src/HOL/Examples/` then open .thy files |
27 File / Open Folder: e.g. `src/HOL/Examples/` then open .thy files |