diff -r da54ac51266a -r f56d239da777 NEWS
--- a/NEWS	Sun Aug 28 12:58:59 2022 +0200
+++ b/NEWS	Sun Aug 28 13:03:37 2022 +0200
@@ -58,6 +58,11 @@
 * ML files (and other auxiliary files) are presented with detailed
 hyperlinks, just like regular theory sources.
 
+* Support for external hyperlinks (URLs).
+
+* Support for internal hyperlinks to files that belong formally to the
+presented session.
+
 
 *** HOL ***