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 KAA18942 for caml-redistribution; Thu, 18 Mar 1999 10:38:22 +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 AAA31946 for ; Thu, 18 Mar 1999 00:47:19 +0100 (MET) Received: from beach.frankfurt.netsurf.de (beach.frankfurt.netsurf.de [194.64.181.2]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id AAA05560 for ; Thu, 18 Mar 1999 00:47:17 +0100 (MET) Received: from schneemann.darmstadt.netsurf.de (board-92.darmstadt.netsurf.de [194.163.86.220]) by beach.frankfurt.netsurf.de (8.8.5/8.8.5) with ESMTP id AAA12919; Thu, 18 Mar 1999 00:44:27 +0100 (MET) Received: from localhost (localhost [[UNIX: localhost]]) by schneemann.darmstadt.netsurf.de (8.8.8/8.8.8) id AAA11077; Thu, 18 Mar 1999 00:43:01 +0100 From: Gerd Stolpmann Reply-To: Gerd.Stolpmann@darmstadt.netsurf.de Organization: privat To: Michael Hicks Subject: Re: O'Caml link db goes online Date: Thu, 18 Mar 1999 00:27:56 +0100 X-Mailer: KMail [version 1.0.17] Content-Type: text/plain Cc: caml-list@inria.fr References: <199903151721.MAA02042@codex.cis.upenn.edu> MIME-Version: 1.0 Message-Id: <99031800430002.02442@schneemann> Content-Transfer-Encoding: 8bit Sender: weis On Mon, 15 Mar 1999, Michael Hicks wrote: >> While the database has become more stable, the functionality is still >> incomplete: You can't search, for example. As the source code is >> in the camlcvs repository (camlcvs.inria.fr) you are invited to >> help me improving it. > >It might be nice to set up a mailing list which broadcasts additions to the >database. Then we don't have to keep checking to see what's new there. >Perhaps the caml-list could be used for this, since people already broadcast >this sort of thing there. >Mike Principially a good idea. I think that the caml list should not be used for this as frequent automatic mails would only confuse. Of course there are currently many announcements in the list but most of them give some more explanations what the piece of software is good for. Perhaps a broadcast will be more valuable if it summarizes several additions, for example of the last week. As I have pointed out before, there must be acceptance for such mails. If many people agree, I will implement it, either as separate mailing list or by using the caml list. Please let me know what you prefer. Gerd -- ---------------------------------------------------------------------------- Gerd Stolpmann Telefon: +49 6151 997705 (privat) Viktoriastr. 100 64293 Darmstadt EMail: Gerd.Stolpmann@darmstadt.netsurf.de (privat) Germany ----------------------------------------------------------------------------