[isabelle-dev] [rt.cl.cam.ac.uk #73409] Re: Accented characters

[Tjark Weber via RT]

On Thu, 2011-01-13 at 11:48 +0000, Piete Brooks via RT wrote:
> > Indeed this appears to be a configuration issue with the Cambridge web
> > server.
> 
> See http://www.cl.cam.ac.uk/news/2011/01/web-server-changes/

I am surprised that the web server cannot be configured to add the UTF-8
default encoding only when the page doesn't declare its own encoding.

In any case, thanks for your quick and very helpful reply!

Kind regards,
Tjark