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.
Ondrej
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
