equal
deleted
inserted
replaced
3 |
3 |
4 Isabelle2021-1 is now available. |
4 Isabelle2021-1 is now available. |
5 |
5 |
6 This version introduces many changes over Isabelle2020-1: see the NEWS |
6 This version introduces many changes over Isabelle2020-1: see the NEWS |
7 file for further details. Here are various details: |
7 file for further details. Here are various details: |
|
8 |
|
9 * HTML presentation now includes links to formal entities. |
8 |
10 |
9 * Isar: local theory support for 'syntax' and 'no_syntax' commands. |
11 * Isar: local theory support for 'syntax' and 'no_syntax' commands. |
10 |
12 |
11 * Isabelle/jEdit: distribution of original jEdit editor with Isabelle/Scala |
13 * Isabelle/jEdit: distribution of original jEdit editor with Isabelle/Scala |
12 modules and plugins. |
14 modules and plugins. |