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_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
