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

Tjark Weber via RT sys-admin at cl.cam.ac.uk
Thu Jan 13 14:13:06 CET 2011

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,

More information about the isabelle-dev mailing list