The Coq mailing list

[Hugo Herbelin <herbelin AT pauillac.inria.fr>]

  Bonjour,

> tools/translate-v8 n'arrive pas a effectuer la  conversion  de la
> bibliotheque graph-basics, est ce qu'il existe un autre outil pour cela?

  Je suppose que vous voulez parler de la contribution GRAPHS-BASICS
développée par Jean Duprat de l'ENS Lyon. Je suppose aussi que vous
utilisez la version 7.4 de cette bibliothèque.

  Ce n'est pas l'outil tools/translate-v8 qui est en cause mais la
version de la bibliothèque que vous utilisez. 

  De manière générale, les contributions utilisateurs ne sont pas
encore distribuées en version 8.0 nouvelle syntaxe (comme vous l'avez
constaté) et pour les traduire, il faut récupérer la version la plus
récente de ces bibliothèques (compilable en version 8.0beta ancienne
syntaxe) disponible _uniquement_ par le cvs anonyme à l'adresse
coqcvs.inria.fr

  Bonne chance.

  Hugo Herbelin