Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] coqide on Darwin

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] coqide on Darwin


chronological Thread 
  • 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





Archive powered by MhonArc 2.6.16.

Top of Page