[isabelle-dev] Isabelle release test website

Makarius makarius at sketis.net
Mon Apr 23 20:45:34 CEST 2012

On Mon, 23 Apr 2012, Johannes Hölzl wrote:

> The JDK in Isabelle_23-Apr-2012_bundle_x86-linux.tar.gz seams to be the 
> 64-bit version:
> Isabelle_23-Apr-2012/contrib/jdk-7u3_x86-linux/jdk1.7.0_03/bin/java: ELF 
> 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked 
> (uses shared libs), for GNU/Linux 2.6.9, not stripped

Oops, I have updated that now on the website.


More information about the isabelle-dev mailing list