The Coq mailing list

[hugo.herbelin AT inria.fr]

To all Coq-club subscribers:

The coq-club mailing list has just been moved from a "mailman" server
to a "sympa" server.

The adresss 
coq-club AT pauillac.inria.fr
 that some of you may still have
used should not be used any longer. Only the address 
coq-club AT inria.fr
has to be used.

The "nomail", "digest" and "not metoo" subscribers options are
normally preserved. If ever you observe that something is not as you
like it to be, please go to the new coq-club mailing list site at
https://sympa-roc.inria.fr/wws/info/coq-club to adjust your
preferences.

Best regards,

Hugo Herbelin