equal
deleted
inserted
replaced
3 * Extension for the editor ([TypeScript](extension/src/extension.ts)) |
3 * Extension for the editor ([TypeScript](extension/src/extension.ts)) |
4 * Language Server protocol implementation ([Isabelle/Scala](src/server.scala)) |
4 * Language Server protocol implementation ([Isabelle/Scala](src/server.scala)) |
5 |
5 |
6 |
6 |
7 ## Run ## |
7 ## Run ## |
8 |
|
9 * shell> `isabelle build -b HOL` |
|
10 |
8 |
11 * Extensions: search "Isabelle 0.1.0", click "Install" |
9 * Extensions: search "Isabelle 0.1.0", click "Install" |
12 |
10 |
13 * Preferences / User settings / edit settings.json: e.g. |
11 * Preferences / User settings / edit settings.json: e.g. |
14 `"isabelle.home": "/home/makarius/isabelle/repos"` |
12 `"isabelle.home": "/home/makarius/isabelle/repos"` |