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, Tjark _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
