[isabelle-dev] jEdit

Makarius 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 mailing list