[isabelle-dev] Accented characters
webertj at in.tum.de
Thu Jan 13 12:38:02 CET 2011
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.
More information about the isabelle-dev