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 SAA30117 for caml-redistribution; Mon, 15 Mar 1999 18:42:34 +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 SAA14503 for ; Mon, 15 Mar 1999 18:22:00 +0100 (MET) Received: from linc.cis.upenn.edu (LINC.CIS.UPENN.EDU [158.130.12.3]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id SAA07633 for ; Mon, 15 Mar 1999 18:21:57 +0100 (MET) Received: from codex.cis.upenn.edu (CODEX.CIS.UPENN.EDU [158.130.6.15]) by linc.cis.upenn.edu (8.8.5/8.8.5) with ESMTP id MAA17649; Mon, 15 Mar 1999 12:21:55 -0500 (EST) Received: (from mwh@localhost) by codex.cis.upenn.edu (8.8.5/8.8.5) id MAA02042; Mon, 15 Mar 1999 12:21:55 -0500 (EST) From: Michael Hicks Message-Id: <199903151721.MAA02042@codex.cis.upenn.edu> Subject: Re: O'Caml link db goes online To: Gerd.Stolpmann@darmstadt.netsurf.de Date: Mon, 15 Mar 1999 12:21:54 -0500 (EST) Cc: caml-list@inria.fr In-Reply-To: <99031403224003.13459@schneemann> from "Gerd Stolpmann" at Mar 14, 99 02:58:25 am X-Mailer: ELM [version 2.4 PL23-upenn3.1] MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: weis > 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 -- Michael Hicks Ph.D. Candidate, the University of Pennsylvania http://www.cis.upenn.edu/~mwh mailto://mwh@dsl.cis.upenn.edu "I worked with an individual who plugged his power strip back into itself and for the life of him could not understand why his computer would not turn on."