[isabelle-dev] Isabelle release test website

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

On 04/26/2012 02:53 PM, Makarius wrote:
> 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?

Yes. Thanks.

More information about the isabelle-dev mailing list