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.
updated to jdk-8u121;
authorwenzelm
Sun, 22 Jan 2017 19:22:33 +0100
changeset 64937 9c94853f03b3
parent 64936 a11f3ebb7bd8
child 64938 1b584fab241a
updated to jdk-8u121;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Sun Jan 22 16:45:58 2017 +0100
+++ b/Admin/components/components.sha1	Sun Jan 22 19:22:33 2017 +0100
@@ -69,6 +69,7 @@
 7d5b152ac70f720bb9e783fa45ecadcf95069584  jdk-7u9.tar.gz
 baf275a68d3f799a841932e4e9a95a1a604058ae  jdk-8u102.tar.gz
 741de6a4a805a0f9fb917d1845409e99346c2747  jdk-8u112.tar.gz
+ae7df8bd0c18eb40237cf54cc28933f4893b9c92  jdk-8u121.tar.gz
 5442f1015a0657259be0590b04572cd933431df7  jdk-8u11.tar.gz
 cfecb1383faaf027ffbabfcd77a0b6a6521e0969  jdk-8u20.tar.gz
 44ffeeae219782d40ce6822b580e608e72fd4c76  jdk-8u31.tar.gz
--- a/Admin/components/main	Sun Jan 22 16:45:58 2017 +0100
+++ b/Admin/components/main	Sun Jan 22 19:22:33 2017 +0100
@@ -4,7 +4,7 @@
 cvc4-1.5pre-4
 e-1.8
 isabelle_fonts-20160830
-jdk-8u112
+jdk-8u121
 jedit_build-20161024
 jfreechart-1.0.14-1
 jortho-1.0-2
isabelle