[isabelle-dev] [rt.cl.cam.ac.uk #73409] Re: Accented characters
Piete Brooks via RT
sys-admin at cl.cam.ac.uk
Thu Jan 13 12:48:06 CET 2011
> Indeed this appears to be a configuration issue with the Cambridge web
> 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.
More information about the isabelle-dev