NEWS

--- a/NEWS	Tue Mar 18 14:05:07 2025 +0100
+++ b/NEWS	Tue Mar 18 19:07:26 2025 +0100
@@ -110,6 +110,12 @@
 * Removed theory "HOL-Library.Divides" (finally).
 
 
+*** System ***
+
+* SSH connections allow both bash and zsh as remote shell. This is
+particularly important for macOS, where zsh is the default user shell.
+
+
 
 New in Isabelle2025 (March 2025)
 --------------------------------