5 Isabelle from 2017, see also: |
5 Isabelle from 2017, see also: |
6 |
6 |
7 * <http://isabelle.in.tum.de/devel/release_snapshot> |
7 * <http://isabelle.in.tum.de/devel/release_snapshot> |
8 * <http://isabelle.in.tum.de/repos/isabelle/file/tip/src/Tools/VSCode> |
8 * <http://isabelle.in.tum.de/repos/isabelle/file/tip/src/Tools/VSCode> |
9 |
9 |
10 ![Isabelle/VSCode](isabelle_vscode.png) |
10 ![[Isabelle/VSCode screenshot]](isabelle_vscode.png) |
|
11 |
11 |
12 |
12 ## Prerequisites ## |
13 ## Prerequisites ## |
13 |
14 |
14 ### Important User Settings ### |
15 ### Important User Settings ### |
15 |
16 |
16 * On Linux and Mac OS X: `isabelle.home` points to the main Isabelle |
17 * On Linux and Mac OS X: `isabelle.home` points to the main Isabelle |
17 directory (`$ISABELLE_HOME`). |
18 directory (`$ISABELLE_HOME`). |
18 |
19 |
19 * On Windows: `isabelle.home` as above, but in Windows path notation with |
20 * On Windows: `isabelle.home` as above, but in Windows path notation with |
20 drive-letter and backslashes. |
21 drive-letter and backslashes. |
|
22 |
21 |
23 |
22 ### Support for Isabelle symbols ### |
24 ### Support for Isabelle symbols ### |
23 |
25 |
24 Isabelle symbols like `\<forall>` are rendered using the extension "Prettify |
26 Isabelle symbols like `\<forall>` are rendered using the extension "Prettify |
25 Symbols Mode", which needs to be installed separately. |
27 Symbols Mode", which needs to be installed separately. |