changeset 74680 | b80a8d7db99d |
parent 74651 | 81cc8f2ea9e7 |
child 74913 | c2a2be496f35 |
--- a/ANNOUNCE Wed Nov 03 22:55:22 2021 +0100 +++ b/ANNOUNCE Wed Nov 03 22:57:21 2021 +0100 @@ -6,6 +6,8 @@ This version introduces many changes over Isabelle2020-1: see the NEWS file for further details. Here are various details: +* HTML presentation now includes links to formal entities. + * Isar: local theory support for 'syntax' and 'no_syntax' commands. * Isabelle/jEdit: distribution of original jEdit editor with Isabelle/Scala