[isabelle-dev] Isabelle release test website

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

On 04/26/2012 02:31 PM, Ondřej Kunčar wrote:
> On 04/26/2012 02:21 PM, Ondřej Kunčar wrote:
>> 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
> I took look at the javascript code and you should probably rely on
> navigator.userAgent and not on navigator.platform because only Firefox
> reports Linux vs. Linux x86_64 in navigator.platform.
> Ondrej

Sorry for nitpicking:
When I move my mouse cursor over the button, those two pictures on the 
button are not transparent any more - reproducible in Firefox, Opera and 
Chromium on Linux.


More information about the isabelle-dev mailing list