# HG changeset patch
# User wenzelm
# Date 1661083060 -7200
# Node ID 97e7bb23198137b261bc1af1cb41ce6dacff8b92
# Parent  3c25aecfa3745499ff50935cc87343963ac73fff
NEWS;

diff -r 3c25aecfa374 -r 97e7bb231981 NEWS
--- a/NEWS	Sun Aug 21 13:45:50 2022 +0200
+++ b/NEWS	Sun Aug 21 13:57:40 2022 +0200
@@ -38,6 +38,9 @@
 add-on to the index.html of a session. Rare INCOMPATIBILITY, consider
 using a separate theory "README" with Isabelle document markup/markdown.
 
+* ML files (and other auxiliary files) are presented with detailed
+hyperlinks, just like regular theory sources.
+
 
 *** HOL ***