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

[Gergely Buday]

Well, google helps:

http://stackoverflow.com/questions/913869/how-to-change-the-default-encoding-to-utf-8-for-server

- Gergely

On 6 February 2013 13:20, Makarius <makarius at sketis.net> 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