coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Lo�c Pottier <Loic.Pottier AT sophia.inria.fr>
- To: <MHIRSCHOWITZ AT aol.com>, <coq-bugs-redistribution AT pauillac.inria.fr>
- Cc: <coq-bugs AT pauillac.inria.fr>, <coq-club AT pauillac.inria.fr>, "Projet Lemme" <lemme AT sophia.inria.fr>
- Subject: [Coq-Club] Re: coq sous XP pro? (PR#245)
- Date: Fri, 7 Feb 2003 11:46:55 +0100
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Les liens hypertextes ont sauté dans mon mail précédent:
pcoq.zip: ftp://ftp-sop.inria.fr/lemme/pcoq.zip
installation en francais:
http://www-sop.inria.fr/lemme/pcoq/telechargement.html
In English:
Hyperlinks were lost in my last mail:
pcoq.zip: ftp://ftp-sop.inria.fr/lemme/pcoq.zip
Désolé,
Loïc Pottier
----- Original Message -----
From: "Loïc Pottier"
<Loic.Pottier AT sophia.inria.fr>
To:
<MHIRSCHOWITZ AT aol.com>;
<coq-bugs-redistribution AT pauillac.inria.fr>
Cc:
<coq-bugs AT pauillac.inria.fr>;
<coq-club AT pauillac.inria.fr>;
"Projet
Lemme"
<lemme AT sophia.inria.fr>
Sent: Friday, February 07, 2003 11:40 AM
Subject: Re: coq sous XP pro? (PR#245)
> Vous pouvez trouver ici: pcoq.zip
> une distribution de pcoq fonctionnant avec coq-7.4 pour Windows XP.
> L'installation, très simple, est décrite dans le fichier README.txt. (en
> anglais) et ici en français.
> Merci de me transmettre vos problèmes éventuels.
>
> In English:
> You can find here: pcoq.zip
> a distribution of pcoq working with coq-7.4 under Windows XP.
> The installation procedure, very simple, is described in the file
> README.txt.
> Please tell me if you have problems.
>
> Loïc Pottier
>
>
> ----- Original Message -----
> From:
>Â <MHIRSCHOWITZ AT aol.com>
> To:
>Â <coq-bugs-redistribution AT pauillac.inria.fr>
> Cc:
>Â <coq-bugs AT pauillac.inria.fr>
> Sent: Thursday, February 06, 2003 7:46 PM
> Subject: coq sous XP pro? (PR#245)
>
>
> >
> > --part1_12c.2267de3f.2b74078f_boundary
> > Content-Type: text/plain; charset="ISO-8859-1"
> > Content-Transfer-Encoding: quoted-printable
> >
> > J ai un XP pro qui ne marche pas avec l'autoexec.bat habituel.
> > Y a t il un autre chemin =E0 suivre?
> > Est ce qu il existe un interface utilisateur assez leger qui marche
> sous=20
> > windows?
> > un genre de proof general ( bicoq et pcoq me paraissent assez difficiles
> d=20
> > utilisation).
> >
> > --part1_12c.2267de3f.2b74078f_boundary
> > Content-Type: text/html; charset="ISO-8859-1"
> > Content-Transfer-Encoding: quoted-printable
> >
> > <HTML><FONT FACE=3Darial,helvetica><FONT SIZE=3D2 FAMILY=3D"SANSSERIF"
> FACE=
> > =3D"Arial" LANG=3D"1">J ai un XP pro qui ne marche pas avec
l'autoexec.bat
> h=
> > abituel.<BR>
> > Y a t il un autre chemin =E0 suivre?<BR>
> > Est ce qu il existe un interface utilisateur assez leger qui marche sous
> win=
> > dows?<BR>
> > un genre de proof general ( bicoq et pcoq me paraissent assez difficiles
d
> u=
> > tilisation).</FONT></HTML>
> >
> > --part1_12c.2267de3f.2b74078f_boundary--
> >
- [Coq-Club] Re: coq sous XP pro? (PR#245), Loïc Pottier
- [Coq-Club] Re: coq sous XP pro? (PR#245), Loïc Pottier
Archive powered by MhonArc 2.6.16.