[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 12:52:14 CET 2011

Previous message (by thread): [isabelle-dev] [rt.cl.cam.ac.uk #73409] AutoReply: Re: Accented characters
Next message (by thread): [isabelle-dev] [rt.cl.cam.ac.uk #73409] Re: Accented characters
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message (by thread): [isabelle-dev] [rt.cl.cam.ac.uk #73409] AutoReply: Re: Accented characters
Next message (by thread): [isabelle-dev] [rt.cl.cam.ac.uk #73409] Re: Accented characters
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list