src/Tools/VSCode/README.md
author wenzelm
Mon Mar 25 17:21:26 2019 +0100 (3 weeks ago)
changeset 69981 3dced198b9ec
parent 66596 c5bd8267d832
permissions -rw-r--r--
more strict AFP properties;
wenzelm@64605
     1
# Isabelle/PIDE for Visual Studio Code editor #
wenzelm@64605
     2
wenzelm@64696
     3
## Debug ##
wenzelm@64605
     4
wenzelm@64605
     5
* shell> `code src/Tools/VSCode/extension`
wenzelm@64605
     6
wenzelm@66596
     7
* Preferences / User settings / edit settings.json: e.g.
wenzelm@66596
     8
    `"isabelle.home": "/home/makarius/isabelle/repos"`
wenzelm@66596
     9
wenzelm@64605
    10
* View / Debug / Launch Extension
wenzelm@64605
    11
wenzelm@64605
    12
* File / Open Folder: e.g. `src/HOL/Isar_Examples/` then open .thy files
wenzelm@64605
    13
wenzelm@64605
    14
wenzelm@64696
    15
## Build ##
wenzelm@64696
    16
wenzelm@65138
    17
* shell> `isabelle build_vscode`
wenzelm@64740
    18
wenzelm@65158
    19
* Extensions / ... / Install from VSIX: `src/Tools/VSCode/extension/isabelle-X.Y.Z.vsix`