[isabelle-dev] Isabelle release test website

Johannes Hölzl hoelzl at in.tum.de
Thu Apr 26 17:59:37 CEST 2012

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


 * 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

More information about the isabelle-dev mailing list