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 NAA31526 for caml-redistribution; Thu, 18 Feb 1999 13:22:39 +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 CAA13370 for ; Thu, 18 Feb 1999 02:21:38 +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 CAA16674 for ; Thu, 18 Feb 1999 02:21:35 +0100 (MET) Received: from schneemann.darmstadt.netsurf.de (board-111.darmstadt.netsurf.de [194.163.86.239]) by beach.frankfurt.netsurf.de (8.8.5/8.8.5) with ESMTP id CAA00561 for ; Thu, 18 Feb 1999 02:20:38 +0100 (MET) Received: from localhost (localhost [[UNIX: localhost]]) by schneemann.darmstadt.netsurf.de (8.8.8/8.8.8) id CAA15031 for caml-list@inria.fr; Thu, 18 Feb 1999 02:20:33 +0100 From: Gerd Stolpmann Reply-To: Gerd.Stolpmann@darmstadt.netsurf.de To: caml-list@inria.fr Subject: camlcvs: now home of linkdb Date: Thu, 18 Feb 1999 02:01:42 +0100 X-Mailer: KMail [version 0.7.9] Content-Type: text/plain MIME-Version: 1.0 Message-Id: <99021802203102.18619@schneemann> Content-Transfer-Encoding: 8bit Sender: weis Hi, I have just put the sources of the Ocaml Link database into the repository at camlcvs.inria.fr. They are located in the usercontrib/linkdb directory there. If you want to participate in the development Xavier Leroy, as already announced, will give you an ssh-based login. You need some software, but all is free and usually part of Linux distributions: - ssh - cvs - Apache and, of course, Ocaml (version 2.01). Note that you can browse the repository even without login (http://camlcvs.inria.fr). You'll find some initial documentation there. I'm waiting for your ideas, please write me what you think the next goal could be. Gerd -- ---------------------------------------------------------------------------- Gerd Stolpmann Telefon: +49 6151 997705 (privat) Viktoriastr. 100 64293 Darmstadt EMail: Gerd.Stolpmann@darmstadt.netsurf.de (privat) Germany ----------------------------------------------------------------------------