Skip to Content.
Sympa Menu

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

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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


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





Archive powered by MhonArc 2.6.16.

Top of Page