Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more to ANNOUNCE;
authorwenzelm
Wed, 03 Nov 2021 22:57:21 +0100
changeset 74680 b80a8d7db99d
parent 74679 0efa6a8b6e20
child 74681 84e5b4339db6
more to ANNOUNCE;
ANNOUNCE file | annotate | diff | comparison | revisions 
--- 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
isabelle