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

Christian Sternagel c.sternagel at gmail.com
Wed Feb 6 13:53:29 CET 2013

Just as a further data point: when visiting


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.



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

More information about the isabelle-dev mailing list