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 AAA13847 for caml-redistribution; Thu, 31 Jul 1997 00:20:14 +0200 (MET DST) 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 AAA13564 for ; Thu, 31 Jul 1997 00:04:40 +0200 (MET DST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.8.5/8.8.5) with ESMTP id AAA07318 for ; Thu, 31 Jul 1997 00:04:39 +0200 (MET DST) Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id AAA13556 for caml-list@inria.fr; Thu, 31 Jul 1997 00:04:38 +0200 (MET DST) From: Pierre Weis Message-Id: <199707302204.AAA13556@pauillac.inria.fr> Subject: caml-list out To: caml-list@inria.fr Date: Thu, 31 Jul 1997 00:04:37 +0200 (MET DST) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: weis Dear Camlers, I will be away from my mail until the end of August. So the caml mailing list will stay in stand by from now to the beginning of September. You still may send messages to the list, they will be bounced when I come back. Bug reports may still be send to caml-light@inria.fr some of us are still listening! Best regards, Pierre Weis [As the Caml list moderator] INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://pauillac.inria.fr/~weis/ En francais: Je pars en vacances :) Jusqu'a la fin Aout, la caml list sera donc silencieuse. Rendez-vous en Septembre. En cas d'urgence, les rapports de bugs peuvent e^tre envoye's a' caml-light@inria.fr certains d'entre nous travaillent toujours :) A bientot, Pierre Weis