coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Guide to Coq Sources

From: Stéphane Glondu <steph AT glondu.net>
To: razvan AT comp.nus.edu.sg
Cc: coq-club AT pauillac.inria.fr
Subject: Re: [Coq-Club] Guide to Coq Sources
Date: Wed, 29 Oct 2008 09:29:56 +0100
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Openpgp: id=FCE03DAA

Razvan Voicu wrote:
> Thanks for taking the trouble to post the link. However, I'm afraid that the
> link does not work. Would you mind checking if there's a typo?
> [...]
> http://logical.futurs.inria.fr/cocorico/CoqCustomizationHowTo

I've just checked, the link works for me... maybe it was a temporary
failure?

Cheers,

--
Stéphane Glondu

[Coq-Club] Guide to Coq Sources, Razvan Voicu
- Re: [Coq-Club] Guide to Coq Sources, Pierre Corbineau
  - RE: [Coq-Club] Guide to Coq Sources, Razvan Voicu
    - Re: [Coq-Club] Guide to Coq Sources, Stéphane Glondu
- Re: [Coq-Club] Guide to Coq Sources, Jean-Francois Monin
  - RE: [Coq-Club] Guide to Coq Sources, Razvan Voicu