Re: bibliotheque autograph

From: Christophe MAURAS (Christophe.Mauras@lan10.ec-nantes.fr)
Date: Mon Feb 02 1998 - 13:56:37 MET

Next message: Moreau: "Re : Weak types ?"
Previous message: Simon Helsen: "Re: Weak types ?"
Maybe in reply to: Laurent Chéno: "bibliotheque autograph"
Next in thread: Moreau: "Re : Weak types ?"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Date: Mon, 02 Feb 1998 12:56:37 +0000
From: Christophe MAURAS <Christophe.Mauras@lan10.ec-nantes.fr>
To: "Laurent =?iso-8859-1?Q?Chéno?= <laurent.cheno@hol.fr> Caml list"
Subject: Re: bibliotheque autograph

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

Next message: Moreau: "Re : Weak types ?"
Previous message: Simon Helsen: "Re: Weak types ?"
Maybe in reply to: Laurent Chéno: "bibliotheque autograph"
Next in thread: Moreau: "Re : Weak types ?"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:13 MET