[isabelle-dev] Isabelle release test website

[Lawrence Paulson]

It works for me, and the auto-detect is nice.

The option to download for arbitrary platforms is occasionally useful, but isn't worth making a big effort. A simple link or button labelled “other platforms" or “show all platforms" should be sufficient.

Larry

On 26 Apr 2012, at 13:09, 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.