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-7u40;
authorwenzelm
Fri, 13 Sep 2013 21:14:08 +0200
changeset 53626 da1c7b50fdfe
parent 53625 a49ce8d72a44
child 53627 f3fd9168911c
updated to jdk-7u40;
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/main	Fri Sep 13 14:53:00 2013 +0200
+++ b/Admin/components/main	Fri Sep 13 21:14:08 2013 +0200
@@ -3,7 +3,7 @@
 e-1.8
 exec_process-1.0.3
 Haskabelle-2013
-jdk-7u25
+jdk-7u40
 jedit_build-20130910
 jfreechart-1.0.14-1
 kodkodi-1.5.2
isabelle