coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] installing coq

From: Lionel Elie Mamane <lionel AT mamane.lu>
To: Mehrnoosh Sadrzadeh <mehrnoosh_sadr AT yahoo.com>
Cc: coq-club AT pauillac.inria.fr
Subject: Re: [Coq-Club] installing coq
Date: Fri, 8 Aug 2003 09:22:07 +0200
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

On Wed, Aug 06, 2003 at 09:33:02AM -0700, Mehrnoosh Sadrzadeh wrote:

> to install coq 7.2 what has to be done after downloading and
> unzipping?

The next step is reading the file INSTALL or INSTALL.win or
INSTALL.macosx, depending on what operating system you are using.

--
Lionel

[Coq-Club] installing coq, Mehrnoosh Sadrzadeh
- Re: [Coq-Club] installing coq, Lionel Elie Mamane
  - Message not available
    - Re: [Coq-Club] installing coq, Lionel Elie Mamane