[isabelle-dev] Isabelle release test website

[Johannes Hölzl]

The current state of the Download-button can be seen here:

  http://www21.in.tum.de/~hoelzl/test/


 * If the detection does not work all platforms are shown as button

 * If the detection works then the suggested platforms are shown as
   buttons, and the other ones as normal links

- Johannes


Am Donnerstag, den 26.04.2012, 14:09 +0200 schrieb Makarius:
> 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.
> 
> Please report any problems with your exotic browser and exotic operating 
> system.

> The idea is that the user can get through with a few standard clicks most 
> of the time, and can ignore the detailed Installation instructions by 
> default.
> 
> 
>  	Makarius