coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] CoqIDE with option in MacOS X

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