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.
added component jdk-7u40.tar.gz (inactive);
authorwenzelm
Fri, 13 Sep 2013 14:53:00 +0200
changeset 53625 a49ce8d72a44
parent 53616 ff37dc246b10
child 53626 da1c7b50fdfe
added component jdk-7u40.tar.gz (inactive);
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/java/build file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Tue Aug 20 17:34:11 2013 +0900
+++ b/Admin/components/components.sha1	Fri Sep 13 14:53:00 2013 +0200
@@ -19,6 +19,7 @@
 d765bc4ad2f34d494429b2a8c1563c49db224944  jdk-7u13.tar.gz
 13a265e4b706ece26fdfa6fc9f4a3dd1366016d2  jdk-7u21.tar.gz
 5080274f8721a18111a7f614793afe6c88726739  jdk-7u25.tar.gz
+9e4a76578287849591188e928f46789cbbdfe9cb  jdk-7u40.tar.gz
 ec740ee9ffd43551ddf1e5b91641405116af6291  jdk-7u6.tar.gz
 7d5b152ac70f720bb9e783fa45ecadcf95069584  jdk-7u9.tar.gz
 44775a22f42a9d665696bfb49e53c79371c394b0  jedit_build-20111217.tar.gz
--- a/Admin/java/build	Tue Aug 20 17:34:11 2013 +0900
+++ b/Admin/java/build	Fri Sep 13 14:53:00 2013 +0200
@@ -11,8 +11,8 @@
 
 ## parameters
 
-VERSION="7u25"
-FULL_VERSION="1.7.0_25"
+VERSION="7u40"
+FULL_VERSION="1.7.0_40"
 
 ARCHIVE_LINUX32="jdk-${VERSION}-linux-i586.tar.gz"
 ARCHIVE_LINUX64="jdk-${VERSION}-linux-x64.tar.gz"
isabelle