coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Edsko de Vries <devriese AT cs.tcd.ie>
- To: Elie Soubiran <soubiran AT lix.polytechnique.fr>
- Cc: Edsko de Vries <devriese AT cs.tcd.ie>, coq-club AT pauillac.inria.fr
- Subject: Re: [Coq-Club] coqide on Darwin
- Date: Tue, 30 Sep 2008 17:13:58 +0100
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Hi Elie,
Thanks for your reply. I installed your DMG and it works perfectly, thanks!
Edsko
- [Coq-Club] coqide on Darwin, Edsko de Vries
- Re: [Coq-Club] coqide on Darwin,
Elie Soubiran
- Re: [Coq-Club] coqide on Darwin, Edsko de Vries
- Re: [Coq-Club] coqide on Darwin,
Elie Soubiran
Archive powered by MhonArc 2.6.16.