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. _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
