[isabelle-dev] Isabelle release test website
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