[isabelle-dev] Accented characters

[Johannes Hölzl]

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
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev