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

[Makarius]

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