[isabelle-dev] isabelle.in.tum.de web server encoding

[Christian Sternagel]

Just as a further data point: when visiting

 
http://isabelle.in.tum.de/website-Isabelle2013-RC2/dist/Isabelle2013-RC2/CONTRIBUTORS

using firefox (on Linux) where the default encoding on the client side 
is "Western ISO-8859-1" then some symbols are strange.

If I explicitly set the encoding to "Unicode UTF-8", everything seems fine.

cheers

chris

On 02/06/2013 09:20 PM, Makarius wrote:
> Dear Apache experts,
>
> some days ago I noticed the famous French problem
> http://www.apprendre-en-ligne.net/bloginfo/index.php/2009/01/21/151-martine-ecrit-en-utf-8
> on the TUM web server. This affects names in
> http://isabelle.in.tum.de/website-Isabelle2013-RC2/dist/Isabelle2013-RC2/CONTRIBUTORS
> for example.
>
> Right now I don't see it, maybe because it is due to a different web
> client configuration on my side.
>
> In principle, the local config-tum repository should tell about the
> situation, but I am unsure where is the right spot to tell Apache using
> UTF-8 encoding by default.
>
>
>      Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev