[isabelle-dev] [rt.cl.cam.ac.uk #73409] Re: Accented characters

[Piete Brooks via RT]

> Indeed this appears to be a configuration issue with the Cambridge web
> server.

See http://www.cl.cam.ac.uk/news/2011/01/web-server-changes/

> The character encoding specified in the HTTP header (utf-8) is different
> from the value in the <meta> element (iso-8859-1).

... and it's left to the browser to decide which to use :-(

> So it would seem that the Cambridge web server erroneously expects all
> web pages to be UTF-8 encoded.

Indeed -- I was told that it's the less of two evils.