[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!
More information about the isabelle-dev