From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA22170 for caml-redistribution; Thu, 5 Feb 1998 14:18:49 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id MAA06827 for ; Mon, 2 Feb 1998 12:46:39 +0100 (MET) Received: from margaux.inria.fr (margaux.inria.fr [128.93.8.2]) by concorde.inria.fr (8.8.7/8.8.5) with ESMTP id MAA10288 for ; Mon, 2 Feb 1998 12:46:39 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by margaux.inria.fr (8.7.6/8.7.3) with ESMTP id MAA00979 for ; Mon, 2 Feb 1998 12:46:38 +0100 (MET) Received: from SMILE.ec-nantes.fr (smile.ec-nantes.fr [130.66.33.1]) by concorde.inria.fr (8.8.7/8.8.5) with SMTP id MAA10281 for ; Mon, 2 Feb 1998 12:46:38 +0100 (MET) Received: from lan10.ec-nantes.fr by SMILE.ec-nantes.fr (MX V4.2 AXP) with SMTP; Mon, 02 Feb 1998 12:47:11 WET0WET DST Received: from lan01 (lan01.ec-nantes.fr [130.66.110.1]) by lan10.ec-nantes.fr (8.8.4/jtpda-5.1) with SMTP id MAA25512 for ; Mon, 2 Feb 1998 12:45:36 GMT Message-ID: <34D5C285.167EB0E7@lan.ec-nantes.fr> Date: Mon, 02 Feb 1998 12:56:37 +0000 From: Christophe MAURAS Organization: IRCyN X-Mailer: Mozilla 3.0 (X11; I; SunOS 4.1.3_U1 sun4m) MIME-Version: 1.0 To: "Laurent =?iso-8859-1?Q?Chéno?= Caml list" Subject: Re: bibliotheque autograph References: <199801301936.UAA10288@mail2.isdnet.net> Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Sender: weis 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