| author | wenzelm |
| Fri, 25 Feb 2022 13:53:12 +0100 | |
| changeset 75143 | 4b740c1740eb |
| parent 75141 | d65728c611f7 |
| child 75147 | f9d2a9e94138 |
| 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 |
||
| 75143 | 32 |
isabelle build_vscode -I |