makarius at sketis.net
Fri Apr 27 11:23:45 CEST 2012
On Fri, 27 Apr 2012, Christian Sternagel wrote:
> Maybe I should have tried it myself before posting ;). Yes, it works
> with jdk1.6.0_32.
The test website already provides the bundled JDK, which is jdk1.6.0_31
and was produced just before Oracle upgraded to 32 :-(
Fortunately there are hardly any significant changes going on the 1.6
branch, so I will probably leave is as is.
More information about the isabelle-dev