[isabelle-dev] Accented characters

Tjark Weber webertj at in.tum.de
Thu Jan 13 11:28:53 CET 2011

On Thu, 2011-01-13 at 09:51 +0000, 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.

On a related note, the W3C validator (at http://validator.w3.org)
reports some errors for http://isabelle.in.tum.de/.  I don't know
whether these errors cause the encoding problem, but it would probably
be good practice to deliver valid HTML in any case.

Kind regards,

More information about the isabelle-dev mailing list