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

Martyn Johnson via RT sys-admin at cl.cam.ac.uk
Thu Jan 13 14:30:49 CET 2011

> 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.

Indeed.  I presume it doesn't want to be fussed with parsing the page, 
which is the browser's job.

It's interesting that Apache's built-in default is not to assert the 
encoding, but the distro's default IS. So either way round we can 
claim that we haven't changed the default!

More information about the isabelle-dev mailing list