The Coq mailing list

[Nils Anders Danielsson <nad AT Cs.Nott.AC.UK>]

On 2008-11-22 21:24, Nils Anders Danielsson wrote:
> The text above does not quite match what I wrote. If the message
> delivered to you also looked like gibberish then you can check out the
> coq-club archives at
>
>   http://pauillac.inria.fr/pipermail/coq-club/2008/004154.html
>
> for a version where no characters have been stripped.

I have been informed that this does not always work. The coq-club
archive web pages do not specify a character encoding, so one may need
to manually select the UTF-8 encoding in order for the page to display
correctly...

(These issues can perhaps be fixed by upgrading to a newer version of
Mailman, by the way. I have not encountered any problems with the Agda
mailing list, which uses version 2.1.5.)

--
/NAD


This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.