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, 15 Aug 2003 15:17:25 +0200
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

On Thu, Aug 14, 2003 at 09:11:53AM -0700, Mehrnoosh Sadrzadeh wrote:

>> 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.

> I am working on a sun, but there is no Insallation
> readme file for sun in the same directory where for
> example the windows one is.

Then, the right file is "INSTALL", which is meant for Unix and its
clones.

--
Lionel

Attachment: pgpezeiN31RHf.pgp
Description: PGP signature

[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