equal
deleted
inserted
replaced
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 |
8 |
9 * Extensions: search "Isabelle 0.1.0", click "Install" |
9 * Extensions: search for "Isabelle", click "Install" |
10 |
10 |
11 * Preferences / User settings / edit settings.json: e.g. |
11 * Preferences / User settings / edit settings.json: e.g. |
12 `"isabelle.home": "/home/makarius/isabelle/repos"` |
12 `"isabelle.home": "/home/makarius/isabelle/repos"` |
13 |
13 |
14 * File / Open Folder: e.g. `src/HOL/Isar_Examples/` then open .thy files |
14 * File / Open Folder: e.g. `src/HOL/Isar_Examples/` then open .thy files |