--- 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
-----------------------------
--- 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)