| changeset 75951 | 97e7bb231981 |
| parent 75950 | 3c25aecfa374 |
| child 75963 | 884dbbc8e1b3 |
--- 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 ***