changeset 76011 | f56d239da777 |
parent 76005 | a9bbf075f431 |
child 76043 | b80f33e5323f |
child 76056 | c2fd8b88d262 |
--- 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 ***