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

Makarius makarius at sketis.net
Wed Feb 6 13:20:15 CET 2013

Dear Apache experts,

some days ago I noticed the famous French problem 
on the TUM web server. This affects names in 
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.


More information about the isabelle-dev mailing list