==================================================================== Modification le : Tue Feb 1 10:55:03 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: 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: Ajout Header GPL ==================================================================== 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/