NEWS

--- a/NEWS	Thu Oct 26 11:39:45 2023 +0200
+++ b/NEWS	Thu Oct 26 17:53:22 2023 +0200
@@ -71,6 +71,10 @@
 * No longer support for very old versions of macOS and Linux: base-line
 is Ubuntu Linux 18.04 LTS and macOS 11 Big Sur.
 
+* New component javamail 1.4.7 (from javax.mail).
+
+* Isabelle/Scala supports mailing via SMTP.
+
 
 
 New in Isabelle2023 (September 2023)