[isabelle-dev] Isabelle release test website

Ondřej Kunčar kuncar at in.tum.de
Thu Apr 26 15:04:34 CEST 2012

On 04/26/2012 03:01 PM, Makarius wrote:
> On Thu, 26 Apr 2012, 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.
>> 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.
> Maybe Johannes can just refine his CSS setup to show the non-selected
> platforms as plain list items without the decoration.

There can be also a plain link "Other platforms" under the fancy button 
and this link would forward a user to the Installation page.


More information about the isabelle-dev mailing list