Skip to Content.

Sympa Menu

coq-club - [Coq-Club] Re: [Bug 2631] INSTALL.macosx file unhelpful

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Re: [Bug 2631] INSTALL.macosx file unhelpful

chronological Thread

From: Andrew Pennebaker <andrew.pennebaker AT gmail.com>
To: Coq <coq-club AT inria.fr>, notin AT lix.polytechnique.fr
Subject: [Coq-Club] Re: [Bug 2631] INSTALL.macosx file unhelpful
Date: Sun, 6 Nov 2011 01:46:00 -0400

Done.

CoqIDE-8.3pl2.dmg
http://downloads.yellosoft.us/apps/CoqIDE-8.3pl2.dmg

PackageMaker installer src
http://downloads.yellosoft.us/apps/CoqIDE-8.3pl2-installer-src.tar.gz

Cheers,

Andrew Pennebaker

www.yellosoft.us

[Coq-Club] Re: [Bug 2631] INSTALL.macosx file unhelpful, Andrew Pennebaker

Archive powered by MhonArc 2.6.16.