coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] mailing list web links broken

From: Hugo Herbelin <Hugo.Herbelin AT inria.fr>
To: Adam Megacz <megacz AT cs.berkeley.edu>
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] mailing list web links broken
Date: Wed, 26 May 2010 12:06:37 +0200

Hi,

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

I'm afraid not.

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

The link there seems broken anyway. Searching the coq-club archive
does not show any message of Carlos Simpson about modules in 2005. So
I don't know how to fix it (but Russell might know).

Hugo Herbelin

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