# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1698335602 -7200
# Node ID c62003e05e468f48a995ca1da200e68ecf874532
# Parent  f992769dea97ef1a2f9a8b8f0c9f5992bba5e5ea
NEWS and CONTRIBUTORS;

diff -r f992769dea97 -r c62003e05e46 CONTRIBUTORS
--- a/CONTRIBUTORS	Thu Oct 26 11:39:45 2023 +0200
+++ b/CONTRIBUTORS	Thu Oct 26 17:53:22 2023 +0200
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* October 2023: Fabian Huch
+  Support for SMTP mailing.
+
 
 Contributions to Isabelle2023
 -----------------------------
diff -r f992769dea97 -r c62003e05e46 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)