On Thu, 26 Apr 2012, Ondřej Kunčar wrote:
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
I have have added more "a" checks in js/osdetect.js. Does it work for you
now?
Makarius_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
