==================================================================== Modification le : Wed Jan 19 15:23:31 MET 2000 Par : ==================================================================== Update of /users/outil1/alliance/cvsroot/alliance/share/tutorials/addaccu In directory fox.lip6.fr:/users/soft5/newlabo/cvstree/alliance/share/tutorials/addaccu Added Files: genvect.c Removed Files: addaccu.ap addaccu.cif addaccu.drc addaccu.proof addaccu.vst addaccu_drc.cif addaccu_rng.cif addaccue.al addaccue.rep addaccue.vbe core.al core.ap core.lvx core.vst specifications.pat Log Message: buggy tutorials... ==================================================================== 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/