=================================================================== Modification le : Thu Nov 8 16:22:02 CET 2001 Par : czo =================================================================== Update of /users/outil/alliance/cvsroot/alliance/sources/yeap/benchs/prf In directory bip.lip6.fr:/users/soft5/newlabo/dev/alliance/sources/yeap/benchs/prf Added Files: ERRORLOG PROFILE16x4 PROFILE32x4 PROFILE4x4 PROFILE4x8 PROFILE8x4 Log Message: YEt Another formal Proof, ex magic, ecrit en 96, a updater... =================================================================== =================================================================== Ce message est envoyé au personnes abonnées à alliance-programmers Pour plus d'information sur cette mailling-list, visitez : http://www-asim.lip6.fr/alliance/mailing-lists/