[isabelle-dev] Isabelle release test website

[Makarius]

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.


 	Makarius