The Coq mailing list

["TAVERNIER Bertrand" <bertrand.tavernier AT criltechnology.com>]

Bonjour,

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

Il est tout à fait possible d'utiliser proofgeneral sous Windows.

Pour ce faire, il faut installer la version Windows de Xemacs (portée à 
l'aide de cygwin) et proofgeneral classique.
Il faut également remplacer "/" des chemins de proofgeneral par des "\\"

Les variables d'environnement sont à configurer par la fenêtre "pptés poste 
de travail -> Avancé -> Variables d'environnement".

Cordialement,

Bertrand Tavernier