# 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 ***