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