[isabelle-dev] Accented characters

Larry Paulson lawrencecpaulson at me.com
Thu Jan 13 10:51:21 CET 2011

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.


-------------- 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>

More information about the isabelle-dev mailing list