coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Installing Coq for OCamo 3.08p1

From: "Robert M. Solovay" <solovay AT Math.Berkeley.EDU>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] Installing Coq for OCamo 3.08p1
Date: Tue, 18 Jan 2005 08:36:09 -0800 (PST)
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

There is a patch supplied on the Download page but I am not sure how to
apply it. Could someone please tell me what command I should execute in
what directory.

I am currently running Red Hat Linux version 8.0 on my box. {I plan to
upgrade "real soon now".}

Thanks,

--Bob Solovay

[Coq-Club] beginner's question, Robert Dockins
- Re: [Coq-Club] beginner's question, Stefano Zacchiroli
- Re: [Coq-Club] beginner's question, Brian Emre Aydemir
- Re: [Coq-Club] beginner's question, Houda Anoun
- [Coq-Club] Installing Coq for OCamo 3.08p1, Robert M. Solovay
  - Re: [Coq-Club] Installing Coq for OCamo 3.08p1, Florent Kirchner