coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Joao " <rabudo AT mixmail.com>
- To: "coq-club AT pauillac.inria.fr" <coq-club AT pauillac.inria.fr>
- Subject: [Coq-Club] Problems with the installation
- Date: Wed, 23 Jan 2002 12:49:22 +0100
- Xmailer: Mixmail Server 2.0
I have installed Coq 7.2 on my computer. I am trying to install
XEmacs 21.4.6 for Windows with ProofGeneral 3.3.
When I look for how to install ProofGeneral I only find
information on how to install on Unix.
Is there a document where I could find the answer?
Could you help me?
Thanks in advance,
Joao
-----
Tu correo gratis en MixMail http://www.mixmail.com
Ya.com ADSL. Módem + Alta gratis http://acceso.ya.com/adsl
- [Coq-Club] Problems with the installation, Joao
- Re: [Coq-Club] Problems with the installation, Pierre Courtieu
Archive powered by MhonArc 2.6.16.