Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/components/main
changeset 78828 032b6186fddc
parent 78826 4183cbe41d24
child 79012 b6bca0666c38 
--- a/Admin/components/main	Thu Oct 26 11:23:53 2023 +0200
+++ b/Admin/components/main	Thu Oct 26 11:29:00 2023 +0200
@@ -12,6 +12,7 @@
 idea-icons-20210508
 isabelle_fonts-20211004
 isabelle_setup-20230922
+javamail-1.4.7
 jdk-17.0.7
 jedit-20211103
 jfreechart-1.5.3
isabelle