diff -r 0efa6a8b6e20 -r b80a8d7db99d ANNOUNCE
--- 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