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.
update NEWS, following 0d7c7fe65638;
authorFabian Huch <huch@in.tum.de>
Fri, 01 Mar 2024 16:27:36 +0100
changeset 79751 05088f901e21
parent 79750 f8fb4384180e
child 79752 788f11af9822
update NEWS, following 0d7c7fe65638;
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Thu Feb 29 22:52:45 2024 +0100
+++ b/NEWS	Fri Mar 01 16:27:36 2024 +0100
@@ -166,7 +166,8 @@
 is Ubuntu Linux 18.04 LTS and macOS 11 Big Sur.
 
 * Isabelle/Scala supports mailing via SMTP, based on new system
-component javamail 1.4.7 (from javax.mail).
+component javamail (previously javax.mail) from jakarta 2.1.2
+using eclipse angus 2.0.2/2.0.1.
isabelle