Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/components/main
changeset 50294 dceb1daa185c
parent 50293 4eea6572896e
child 50309 38870ee59311 
--- a/Admin/components/main	Fri Nov 30 15:24:01 2012 +0100
+++ b/Admin/components/main	Fri Nov 30 16:34:11 2012 +0100
@@ -2,7 +2,7 @@
 cvc3-2.4.1
 e-1.6
 exec_process-1.0.3
-jdk-7u6
+jdk-7u9
 jedit_build-20120903
 kodkodi-1.5.2
 polyml-5.5.0
isabelle