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
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
