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.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
