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.
build javamail component and add to main components;
authorFabian Huch <huch@in.tum.de>
Thu, 26 Oct 2023 11:29:00 +0200
changeset 78828 032b6186fddc
parent 78827 06f0e720b913
child 78829 58315c8a5cc4
build javamail component and add to main components;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Thu Oct 26 11:23:53 2023 +0200
+++ b/Admin/components/components.sha1	Thu Oct 26 11:29:00 2023 +0200
@@ -171,6 +171,7 @@
 cb9f061ccd7c6f90d00c8aa115aeea8679f3f996 isabelle_setup-20221028.tar.gz
 f582c621471583d06e00007c6acc01376c7395af isabelle_setup-20230206.tar.gz
 d30109fe63cec35c31cee9ffd17ae3a13c1e6a33 isabelle_setup-20230922.tar.gz
+f23037b322b968c61350f9ec9995a4f397e6c71c javamail-1.4.7.tar.gz
 0b2206f914336dec4923dd0479d8cee4b904f544 jdk-11+28.tar.gz
 e12574d838ed55ef2845acf1152329572ab0cc56 jdk-11.0.10+9.tar.gz
 3e05213cad47dbef52804fe329395db9b4e57f39 jdk-11.0.2+9.tar.gz
--- 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