alliance-programmers '01
ALC : CVS loginfo, yeap/rapport


Czo [Olivier Sirol] (czo@asim.lip6.fr)
Thu, 8 Nov 2001 16:22:21 +0100

=================================================================== Modification le : Thu Nov 8 16:22:06 CET 2001 Par : czo =================================================================== Update of /users/outil/alliance/cvsroot/alliance/sources/yeap/rapport In directory bip.lip6.fr:/users/soft5/newlabo/dev/alliance/sources/yeap/rapport Added Files: horiz.fig logomasi_n.gif magic.doc ntr01.cdr ntr02.cdr ntr03.CDR tr01.cdr tr01_hor.cdr tr01_ver.cdr tr02.cdr tr03.cdr tr04.cdr tr05.cdr tr06.cdr tr07.cdr tr08.cdr tr10.cdr tr11.cdr tr12.cdr tr13.cdr tr14.cdr 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/

 



Alliance Web Site © 1997, 2002 ASIM/LIP6/UPMC, page maintained by Czo [Olivier Sirol] , last updated on 08 November 2001.