> So it would seem that the Cambridge web server erroneously expects all > web pages to be UTF-8 encoded.
The pagemaster explicitly requested this change. _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
