Columbo aufrufen.md zum Wurzelverzeichnis wechselnText {Text[119] Latech[131] HTML[217]}Datei anzeigen
# 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`
[ Original von:0.83Diese Quellcodebibliothek enthält Beispiele in vielen Programmiersprachen.
Man kann per Verzeichnistruktur darin navigieren.
Der Code wird farblich markiert angezeigt.
]
