coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] mailing list web links broken

From: Adam Megacz <megacz AT cs.berkeley.edu>
To: coq-club AT inria.fr
Subject: [Coq-Club] mailing list web links broken
Date: Sun, 23 May 2010 00:48:06 +0000
Cancel-lock: sha1:1NvXTNBa9hRY7JGJ3b3vXxCh2Pw=
Connect(): No such file or directory
Organization: Myself

It seems that at some point recently the mailing list archives were
moved.  Unfortunately this means that a whole lot of links (like the one
below in the Coq wiki) have broken.  Is there any chance that the old
URLs could be forwarded to wherever the list is now archived?

  http://coq.inria.fr/cocorico/RecordsNotModules

  - a

[Coq-Club] mailing list web links broken, Adam Megacz
- Re: [Coq-Club] mailing list web links broken, Hugo Herbelin