I changed the default encoding from iso8859-1 to utf-8 for the "normal" website. The theory documentation is kept in iso8859-1 (e.g. latin-1), this will change with Isabelle2011.
So, when the mirrors are updated everything should be fine again. Greetings, Johannes Am Donnerstag, den 13.01.2011, 22:15 +1100 schrieb Gerwin Klein: > 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. > > > This issue is a bit strange. It shows up on my Mac as in your picture > from the Cambridge server, but it looks fine with the correct > characters from the Munich and Sydney servers. > > > It may have more to do with what the server expects as encoding in the > source file than what the browser gets to see. > > > Cheers, > Gerwin > > _______________________________________________ > isabelle-dev mailing list > [email protected] > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
