> 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/ > The character encoding specified in the HTTP header (utf-8) is different > from the value in the <meta> element (iso-8859-1). ... and it's left to the browser to decide which to use :-( > So it would seem that the Cambridge web server erroneously expects all > web pages to be UTF-8 encoded. Indeed -- I was told that it's the less of two evils. _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
