[isabelle-dev] Isabelle release test website

Johannes Hölzl hoelzl at in.tum.de
Mon Apr 23 18:42:17 CEST 2012


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









More information about the isabelle-dev mailing list