[isabelle-dev] Accented characters

[Larry Paulson]

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.



Larry

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20110113/855026cc/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Untitled Image.png
Type: image/png
Size: 42975 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20110113/855026cc/attachment-0001.png>