more NEWS;
authorwenzelm
Sun, 28 Aug 2022 13:03:37 +0200
changeset 76011 f56d239da777
parent 76010 da54ac51266a
child 76012 ec0424a8535e
more NEWS;
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 ***