[isabelle-dev] Isabelle release test website

Lawrence Paulson lp15 at cam.ac.uk
Thu Apr 26 15:31:03 CEST 2012

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.


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.

More information about the isabelle-dev mailing list