Am Donnerstag, den 13.01.2011, 12:33 +0100 schrieb Lars Noschinski: > On 13.01.2011 12:15, 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. > >
> Normally, the declaration in the document should override the > declaration sent by the server; but probably the <?xml ..?> processing > instruction is ignored by Firefox and Safari, as the document is marked > as html, not xml. The correct fix is to add an additional meta-element, > specifying the charset, as outlined in the XHTML specification: Which is probably happily ignored by the browser or the servers, as the delivered contents is not valid HTML nor valid XML. The specified root-element in the DOCTYPE declarations is wrong which may lead to the failure in character encoding detection. I changed this, however I currently can't push to the repository or update the website. I sent Florian a email and hope he can pull from my repository and update the website. Greetings, Johannes _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
