src/Tools/VSCode/README.md
changeset 64695 135313951082
parent 64605 9c1173a7e4cb
child 64696 e991a4fab0dc
equal deleted inserted replaced
64694:1d645e6efd89 64695:135313951082
    11 * shell> `cd src/Tools/VSCode/extension; vsce package`
    11 * shell> `cd src/Tools/VSCode/extension; vsce package`
    12 
    12 
    13 * Preferences / User settings / edit settings.json: e.g.
    13 * Preferences / User settings / edit settings.json: e.g.
    14     `"isabelle.home": "/home/makarius/isabelle/repos"`
    14     `"isabelle.home": "/home/makarius/isabelle/repos"`
    15 
    15 
    16 * Extensions / ... / Install from VSIX: `src/Tools/VSCode/extension/isabelle-0.0.1.vsix`
    16 * Extensions / ... / Install from VSIX: `src/Tools/VSCode/extension/isabelle-0.1.0.vsix`
    17 
    17 
    18 * File / Open Folder: e.g. `src/HOL/Isar_Examples/` then open .thy files
    18 * File / Open Folder: e.g. `src/HOL/Isar_Examples/` then open .thy files
    19 
    19 
    20 
    20 
    21 ## Debug
    21 ## Debug