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 universal jdk-6u31.tar.gz component (post Isabelle2012);
authorwenzelm
Mon, 16 Jul 2012 11:26:16 +0200
changeset 48269 59bc6374c121
parent 48268 30b9a435ee04
child 48270 9cfd3e7ad5c8
added universal jdk-6u31.tar.gz component (post Isabelle2012);
Admin/component_repository/components.sha1 file | annotate | diff | comparison | revisions 
--- a/Admin/component_repository/components.sha1	Mon Jul 16 11:12:06 2012 +0200
+++ b/Admin/component_repository/components.sha1	Mon Jul 16 11:26:16 2012 +0200
@@ -1,6 +1,7 @@
 2f6417b8e96a0e4e8354fe0f1a253c18fb55d9a7  cvc3-2.4.1.tar.gz
 0fe549949a025d65d52d6deca30554de8fca3b6e  e-1.5.tar.gz
 683acd94761ef460cca1a628f650355370de5afb  hol-light-bundle-0.5-126.tar.gz
+8d83e433c1419e0c0cc5fd1762903d11b4a5752c  jdk-6u31.tar.gz
 44775a22f42a9d665696bfb49e53c79371c394b0  jedit_build-20111217.tar.gz
 a242a688810f2bccf24587b0062ce8027bf77fa2  jedit_build-20120304.tar.gz
 4c948dee53f74361c097c08f49a1a5ff9b17bd1d  jedit_build-20120307.tar.gz
isabelle