author | wenzelm |
Fri, 25 Feb 2022 13:15:27 +0100 | |
changeset 75140 | 4400eeb6c32d |
parent 73539 | f800f8becbfb |
child 75141 | d65728c611f7 |
permissions | -rw-r--r-- |
75140 | 1 |
# Isabelle/VSCode development # |
2 |
||
3 |
## System setup ## |
|
64605 | 4 |
|
75140 | 5 |
* install default node.js (e.g. via Ubuntu package) |
64605 | 6 |
|
75140 | 7 |
* update to recent stable version: |
64605 | 8 |
|
75140 | 9 |
sudo npm cache clean -f |
10 |
sudo npm install -g n |
|
11 |
sudo n stable |
|
66596
c5bd8267d832
simplified README: this is for development version;
wenzelm
parents:
65158
diff
changeset
|
12 |
|
75140 | 13 |
* install vsce: |
64605 | 14 |
|
75140 | 15 |
sudo npm install -g vsce |
64605 | 16 |
|
17 |
||
75140 | 18 |
## Edit and debug ## |
19 |
||
20 |
* Shell commands within $ISABELLE_HOME directory: |
|
21 |
||
22 |
isabelle vscode --uninstall-extension makarius.Isabelle |
|
23 |
isabelle vscode src/Tools/VSCode/extension |
|
64696 | 24 |
|
75140 | 25 |
* VSCode commands: |
26 |
Run / Start Debugging (F5) |
|
27 |
File / Open Folder: e.g. `src/HOL/Examples/` then open .thy files |
|
28 |
||
64740 | 29 |
|
75140 | 30 |
## Build and install ## |
31 |
||
32 |
* Shell commands within $ISABELLE_HOME directory: |
|
33 |
||
34 |
isabelle build_vscode |
|
35 |
isabelle vscode --install-extension src/Tools/VSCode/extension/isabelle-1.2.2.vsix |