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;
     1 # Isabelle/PIDE for Visual Studio Code editor #
     2 
     3 ## Debug ##
     4 
     5 * shell> `code src/Tools/VSCode/extension`
     6 
     7 * Preferences / User settings / edit settings.json: e.g.
     8     `"isabelle.home": "/home/makarius/isabelle/repos"`
     9 
    10 * View / Debug / Launch Extension
    11 
    12 * File / Open Folder: e.g. `src/HOL/Isar_Examples/` then open .thy files
    13 
    14 
    15 ## Build ##
    16 
    17 * shell> `isabelle build_vscode`
    18 
    19 * Extensions / ... / Install from VSIX: `src/Tools/VSCode/extension/isabelle-X.Y.Z.vsix`