[isabelle-dev] Isabelle release test website

Lars Noschinski noschinl at in.tum.de
Thu Apr 26 14:41:40 CEST 2012


On 26.04.2012 14:32, Tjark Weber wrote:
> On Thu, 2012-04-26 at 14:09 +0200, Makarius wrote:
>> The website itself is starting to take shape.  Thanks to Johannes
>> Hölzl we now have nice download buttons that detect the platform of
>> the web browser: Linux, Linux 64 bit, Mac OS X, Windows.  All 4
>> buttons are shown if the platform cannot be detected.
>
> There is the (uncommon, perhaps, but not completely absurd) use case
> where a user wants to download a version for another platform,
> different from the one she is currently running.

Despite my system being mainly 64 bits, I always use the 32-bit version 
of Isabelle -- AFAIK, with 6GB of RAM I'm still below the point where 
64-bit would be an advantage for Isabelle.

> To support this, it might be better to have a drop-down list that is
> initialized to the detected platform, or to add an explicit download
> link to the other versions. That they are available (only) under
> "Installation instructions" is somewhat counter-intuitive.

Yes, I second that a prominent "download for other system" 
button/whatever would be a good idea.

   -- Lars



More information about the isabelle-dev mailing list