Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned NEWS, see also c62003e05e46;
authorwenzelm
Thu, 29 Feb 2024 17:03:00 +0100
changeset 79748 e84b480e90e4
parent 79747 023b34159050
child 79749 a861b0df74b4
tuned NEWS, see also c62003e05e46;
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Thu Feb 29 16:59:47 2024 +0100
+++ b/NEWS	Thu Feb 29 17:03:00 2024 +0100
@@ -165,9 +165,8 @@
 * 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.
+* Isabelle/Scala supports mailing via SMTP, based on new system
+component javamail 1.4.7 (from javax.mail).
isabelle