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

Tjark Weber via RT sys-admin at cl.cam.ac.uk
Thu Jan 13 12:38:08 CET 2011

This message has been automatically generated in response to the
creation of a trouble ticket regarding

	"Re: [isabelle-dev] Accented characters", 

a summary of which appears below.

There is no need to reply to this message immediately. Your ticket has
been assigned an ID of [rt.cl.cam.ac.uk #73409].

Please include this in the subject line of all future correspondence about
this issue. To do so, you may reply to this message.

sys-admin at cl.cam.ac.uk

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,

More information about the isabelle-dev mailing list