coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] installing coq

From: Mehrnoosh Sadrzadeh <mehrnoosh_sadr AT yahoo.com>
To: Burkhart Wolff <wolff AT informatik.uni-freiburg.de>, coq-club AT pauillac.inria.fr
Subject: [Coq-Club] installing coq
Date: Wed, 6 Aug 2003 09:33:02 -0700 (PDT)
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

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

--thankx

__________________________________
Do you Yahoo!?
The New Yahoo! Search - Faster. Easier. Bingo.
http://search.yahoo.com

[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