[isabelle-dev] Accented characters

[Tjark Weber]

On Thu, 2011-01-13 at 22:15 +1100, Gerwin Klein wrote:
> On 13/01/2011, at 8:51 PM, Larry Paulson wrote:

> > Accented characters on our website no longer display correctly on
> > Macs. I don't know precisely when this happened, but I'm sure it's
> > fairly recent. In fact, the characters don't even display correctly
> > in the HTML source. It may be a character encoding problem. Clearly,
> > it renders correctly in Google Chrome but not in Firefox or Safari.

The issue also shows up on Linux.

> This issue is a bit strange. It shows up on my Mac as in your picture
> from the Cambridge server, but it looks fine with the correct
> characters from the Munich and Sydney servers. 
>
> It may have more to do with what the server expects as encoding in the
> source file than what the browser gets to see.

Indeed this appears to be a configuration issue with the Cambridge web
server.  For some of my personal pages (also delivered from Cambridge),
the W3C validator shows a warning

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

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

Kind regards,
Tjark