coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Samuel Bronson" <naesten AT gmail.com>
- To: "Wendy Verbruggen" <verbruwj AT cs.tcd.ie>
- Cc: coq-club AT pauillac.inria.fr
- Subject: Re: [Coq-Club] CoqIDE with option in MacOS X
- Date: Tue, 8 Jul 2008 15:53:24 -0400
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:cc:in-reply-to:mime-version :content-type:content-transfer-encoding:content-disposition :references; b=SvNciJxYS+/2HUHZv1U/2+moo5i2HBNlCEBFiwX+hUi7mXy09sBO+XF/V//mWIzNnv k9AWr+YL/sXRM5VQWVlEcEL1ClEoUGFnlHVJeSUpb3DclWgX6kR+7m9onuJb040eFVZw jTi4i45WPHrYD1MT5NT3QMfN57RsW3oCrV/iA=
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
On Tue, Jul 8, 2008 at 8:43 AM, Wendy Verbruggen
<verbruwj AT cs.tcd.ie>
wrote:
> /Applications/CoqIde.app/Contents/MacOS/coqide - impredicative-set
Is this copy and pasted? If so, perhaps the problem is the space after the
dash?
- [Coq-Club] CoqIDE with option in MacOS X, Wendy Verbruggen
- Re: [Coq-Club] CoqIDE with option in MacOS X, Samuel Bronson
Archive powered by MhonArc 2.6.16.