[isabelle-dev] Isabelle release test website

Ondřej Kunčar kuncar at in.tum.de
Thu Apr 26 14:21:33 CEST 2012


On 04/26/2012 02:09 PM, 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.
>
> 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
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev


Hi!
My operating system is detected as 32-bit Linux for the following user 
agent strings, which is wrong.

Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/536.4 (KHTML, like Gecko) 
Chrome/19.0.1079.0 Safari/536.4 SUSE/19.0.1079.0

Opera/9.80 (X11; Linux x86_64; U; en) Presto/2.10.229 Version/11.61

Ondrej



More information about the isabelle-dev mailing list