# HG changeset patch
# User wenzelm
# Date 1635976641 -3600
# Node ID b80a8d7db99ddd6396f2423232790f80f9521240
# Parent  0efa6a8b6e2035f2e7ee052d2840daa389e27541
more to ANNOUNCE;

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