[isabelle-dev] Isabelle release test website

[Makarius]

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