[isabelle-dev] Isabelle release test website

[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