==================================================================== Modification le : Thu Feb 10 18:18:42 MET 2000 Par : ==================================================================== Update of /users/outil1/alliance/cvsroot/alliance/sources/syf/bdd In directory trash:/users/outil6/syf/alliance/sources/syf/bdd Modified Files: Makefile bdd104.h bddalloc.c bddalloc.h bddapply.c bddapply.h bddassoc.c bddassoc.h bddblock.c bddblock.h bddcheck.c bddcheck.h bddcircuit.c bddcircuit.h bddcofactor.c bddcofactor.h bddcompose.c bddcompose.h bddconvert.c bddconvert.h bdddump.c bdddump.h bddenv.c bddenv.h bdderror.c bdderror.h bddexist.c bddexist.h bddflag.c bddflag.h bddfraction.c bddfraction.h bddfree.c bddfree.h bddgarbage.c bddgarbage.h bddheath.c bddheath.h bddhnode.c bddhnode.h bddhoper.c bddhoper.h bddimply.c bddimply.h bddlog.c bddlog.h bddmark.c bddmark.h bddnode.c bddnode.h bddoptimize.c bddoptimize.h bddreduce.c bddreduce.h bddref.c bddref.h bddrelprod.c bddrelprod.h bddreorder.c bddreorder.h bddresize.c bddresize.h bddsatisfy.c bddsatisfy.h bddsimpdc.c bddsimpdc.h bddsubst.c bddsubst.h bddsupport.c bddsupport.h bddsweep.c bddsweep.h bddsystem.c bddsystem.h bddtest.c bddtest.h bdduser.c bdduser.h bddvar.c bddvar.h bddvaraux.c bddvaraux.h main.c Log Message: Sorry pour les emails intempestifs : Principales ameliorations : Option -install pour Xsch, Xpat et Xvpn VASY prend du structurel ! ==================================================================== Ce message est envoyé au personnes abonnées à alliance-programmers Pour plus d'information sur cette mailling-list, visitez : http://asim.lip6.fr/alliance/mailing-lists/