[isabelle-dev] Isabelle release test website

Makarius makarius at sketis.net
Thu Apr 26 14:09:45 CEST 2012

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 

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 


More information about the isabelle-dev mailing list