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 PAA01793 for caml-red; Thu, 2 Nov 2000 15:39:50 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA02251 for ; Tue, 31 Oct 2000 18:30:32 +0100 (MET) Received: from antholoma.wanadoo.fr (smtp-abo-4.wanadoo.fr [193.252.19.153]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id e9VHUU507172 for ; Tue, 31 Oct 2000 18:30:31 +0100 (MET) Received: from wanadoo.fr (193.253.214.233) by antholoma.wanadoo.fr; 31 Oct 2000 18:29:14 +0100 Message-ID: <39FF0126.7A298158@wanadoo.fr> Date: Tue, 31 Oct 2000 18:28:06 +0100 From: mlf X-Mailer: Mozilla 4.6 [fr] (Win98; I) X-Accept-Language: fr MIME-Version: 1.0 To: caml-list@inria.fr Subject: (pas d'objet) Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: weis@pauillac.inria.fr i forgot to tell that i use caml-light