* bibliotheque autograph
@ 1998-01-30 18:39 Laurent Chéno
1998-02-02 12:56 ` Christophe MAURAS
0 siblings, 1 reply; 2+ messages in thread
From: Laurent Chéno @ 1998-01-30 18:39 UTC (permalink / raw)
To: Caml list, Pierre Weis, Martial Tarizzo, Bruno Petazzoni,
Denis Monasse, Jacques Moisan, Alain Leroux,
Liste de diffusion ups info, Hubert Fauque, Philippe Esperet,
Luc Albert, Alain Bèges, Alain Bèges, Pierre Letouzey
Vous trouverez la nouvelle version 1.0 (très enrichie !) de autograph
à l'adresse suivante :
http://pauillac.inria.fr/~cheno/autograph/
Merci de vos commentaires, suggestions et/ou reproches.
Cordialement, Laurent
---------------------------------------------------------------------------
Please excuse my poor english !
You can find the new version 1.0 of the autograph library, by Laurent Cheno
at the following URL :
http://pauillac.inria.fr/~cheno/autograph/
This library is for manipulating finite automata.
Thank's for all comments, suggestion ...
Best regards, Laurent
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: bibliotheque autograph
1998-01-30 18:39 bibliotheque autograph Laurent Chéno
@ 1998-02-02 12:56 ` Christophe MAURAS
0 siblings, 0 replies; 2+ messages in thread
From: Christophe MAURAS @ 1998-02-02 12:56 UTC (permalink / raw)
To: Laurent Chéno <laurent.cheno@hol.fr> Caml list
Laurent Chéno wrote:
>
> Vous trouverez la nouvelle version 1.0 (très enrichie !) de autograph
> à l'adresse suivante :
>
> http://pauillac.inria.fr/~cheno/autograph/
>
> Merci de vos commentaires, suggestions et/ou reproches.
>
> Cordialement, Laurent
>
>
Tres bien, mais le nom est particulierement mal choisi, puisqu'il s'agit
du nom d'un logiciel d'edition et visualisation d'automates, bien
connu dans la communaute informatique et developpe a l'INRIA :
------------
http://www.inria.fr/meije/verification/index.html
-------------
Cordialement,
--
Christophe MAURAS
Institut de Recherche en Cybernetique de NANTES (IRCyN)
E.C.N., 1 rue de la Noe, BP 92101, 44321 NANTES cedex 3
Tel: 02.40.37.16.00 poste 18 67 Fax: 02.40.37.25.22
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~1998-02-05 13:18 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1998-01-30 18:39 bibliotheque autograph Laurent Chéno
1998-02-02 12:56 ` Christophe MAURAS
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox