[isabelle-dev] Isabelle release test website
makarius at sketis.net
Thu Apr 26 15:01:02 CEST 2012
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.
More information about the isabelle-dev