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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
