The current state of the Download-button can be seen here: http://www21.in.tum.de/~hoelzl/test/
* If the detection does not work all platforms are shown as button * If the detection works then the suggested platforms are shown as buttons, and the other ones as normal links - Johannes Am Donnerstag, den 26.04.2012, 14:09 +0200 schrieb 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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
