Am Montag, den 23.04.2012, 17:22 +0200 schrieb Makarius: > Here is an update of the test website for warming up a bit more > http://www4.in.tum.de/~wenzelm/test/website/ > > I've spent this cold and wet weekend to produce a monolitic Windows > application, which bundles both JDK and Cygwin 1.7.9, see the Download > page. (Cygwin 1.7.9 is important here, because in the later version from > this year Poly/ML multithreading is a bit unstable.)
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 > Is there anybody who could lend me a hand to produce a quick download link > in JavaScript, like the one on http://mercurial.selenic.com/ that already > knows the platform of the user's browser? > > This could be put prominently on the main index.html, so that > download.html only needs to be visited for further details. Last time > there was also a surprising number of seasoned Linux users who could not > tell if they are running x86 or x86_64; the js magic would help here as > well. (For Linux the platform distinction is relevant due common problems > caused by C/C++ library dependencies.) > > > Makarius I already have a download button, I hope it is still on my laptop. I will sent it to you when I'm at home. - Johannes _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
