equal
deleted
inserted
replaced
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 screenshot]](isabelle_vscode.png) |
10 ![[Isabelle/VSCode screenshot]](http://isabelle.in.tum.de/repos/isabelle/raw-file/9fe05edaa351/src/Tools/VSCode/extension/isabelle_vscode.png) |
11 |
11 |
12 |
12 |
13 ## Prerequisites ## |
13 ## Prerequisites ## |
14 |
14 |
15 ### Important User Settings ### |
15 ### Important User Settings ### |