alliance-programmers '2000
ALC : CVS loginfo, man


syf@asim.lip6.fr
Fri, 22 Sep 2000 17:32:59 +0200 (MET DST)

=================================================================== Modification le : Fri Sep 22 17:32:43 MET DST 2000 Par : syf =================================================================== Update of /users/outil/alliance/cvsroot/alliance/share/man In directory beny:/users/outil/syf/alliance/share/man Modified Files: windex whatis Log Message: Man de FSP et FMI =================================================================== Index: windex =================================================================== RCS file: /users/outil/alliance/cvsroot/alliance/share/man/windex,v retrieving revision 1.8 retrieving revision 1.9 diff -r1.8 -r1.9 447a448 > fmi (1) - FSM state miminization 463a465 > fsp (1) - Formal proof between two FSM descriptions Index: whatis =================================================================== RCS file: /users/outil/alliance/cvsroot/alliance/share/man/whatis,v retrieving revision 1.5 retrieving revision 1.6 diff -r1.5 -r1.6 447a448 > fmi (1) - FSM state miminization 463a465 > fsp (1) - Formal proof between two FSM descriptions =================================================================== 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/

 



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