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