author | wenzelm |
Tue, 05 Nov 2019 14:28:00 +0100 | |
changeset 71047 | 87c132cf5860 |
parent 66596 | c5bd8267d832 |
child 73539 | f800f8becbfb |
permissions | -rw-r--r-- |
# Isabelle/PIDE for Visual Studio Code editor # ## Debug ## * shell> `code src/Tools/VSCode/extension` * Preferences / User settings / edit settings.json: e.g. `"isabelle.home": "/home/makarius/isabelle/repos"` * View / Debug / Launch Extension * File / Open Folder: e.g. `src/HOL/Isar_Examples/` then open .thy files ## Build ## * shell> `isabelle build_vscode` * Extensions / ... / Install from VSIX: `src/Tools/VSCode/extension/isabelle-X.Y.Z.vsix`