# HG changeset patch # User wenzelm # Date 1739993672 -3600 # Node ID 70e94b064ee05ce5f434a8ac454c2cd5cd6092d4 # Parent cee6d19109e016139416256c3c39504e5967e9bd more NEWS; diff -r cee6d19109e0 -r 70e94b064ee0 NEWS --- a/NEWS Wed Feb 19 11:16:19 2025 +0100 +++ b/NEWS Wed Feb 19 20:34:32 2025 +0100 @@ -220,6 +220,14 @@ * Relevant Isabelle options can now be overriden from the Isabelle/VSCode extension settings. +* More robust treatment of startup errors for "isabelle vscode" and the +underlying "isabelle electron". This helps to make it work on recent +Linux distributions, notably Ubuntu 24.04 or 24.10. + +* Proper HTML output on Windows: hyperlinks refer to files in standard +Isabelle path notation as expected. Thus the State panel works again +reliably, after it was broken in Isabelle2022. + *** Document preparation ***