From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 378F0BC3F for ; Wed, 27 Oct 2004 23:14:59 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id i9RLEwhS009264 for ; Wed, 27 Oct 2004 23:14:59 +0200 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 XAA00280 for ; Wed, 27 Oct 2004 23:14:58 +0200 (MET DST) Received: from moutng.kundenserver.de (moutng.kundenserver.de [212.227.126.190]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id i9RLEwES009260 for ; Wed, 27 Oct 2004 23:14:58 +0200 Received: from [212.227.126.160] (helo=mrelayng.kundenserver.de) by moutng.kundenserver.de with esmtp (Exim 3.35 #1) id 1CMv8E-00087B-00 for caml-list@inria.fr; Wed, 27 Oct 2004 23:14:58 +0200 Received: from [80.129.107.68] (helo=gate.gerd-stolpmann.de) by mrelayng.kundenserver.de with asmtp (Exim 3.35 #1) id 1CMv8C-0001Kc-00 for caml-list@inria.fr; Wed, 27 Oct 2004 23:14:58 +0200 Received: from ice.gerd-stolpmann.de (ice [192.168.0.13]) by gate.gerd-stolpmann.de (Postfix) with ESMTP id 9A41FCBD8 for ; Wed, 27 Oct 2004 23:14:48 +0200 (CEST) Received: by ice.gerd-stolpmann.de (Postfix, from userid 1000) id B8D42B030; Wed, 27 Oct 2004 23:14:48 +0200 (CEST) Subject: GODI news From: Gerd Stolpmann To: caml-list@inria.fr Content-Type: text/plain Content-Transfer-Encoding: 7bit Message-Id: <1098911687.25466.18.camel@ice.gerd-stolpmann.de> Mime-Version: 1.0 X-Mailer: Ximian Evolution 1.4.6 Date: Wed, 27 Oct 2004 23:14:47 +0200 X-Provags-ID: kundenserver.de abuse@kundenserver.de auth:a6865a839c0178d9aa0ce41878507ea2 X-Miltered: at concorde with ID 41800FD2.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 41800FD2.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; gerd:01 stolpmann:01 o'caml:01 o'caml:01 gerd:01 stolpmann:01 viktoriastr:01 64293:01 darmstadt:01 install:05 core:05 manual:07 manual:07 explained:08 distribution:09 X-Spam-Checker-Version: SpamAssassin 3.0.0 (2004-09-13) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.0 X-Spam-Level: Hi list, the GODI project has a new homepage explaining how to install and use the source code O'Caml distribution: http://godi.ocaml-programming.de Highlights are: - An online version of the new GODI manual - Lists with available packages - Collection of the most important O'Caml links The new GODI manual is also available as GODI package godi-manual. It explains almost every aspect of the GODI installation in detail. Furthermore, there is also documentation of package creation (with the GODI core method; GODIVA is not (yet?) explained). I hope the homepage and the manual make GODI a bit more transparent, and also more attractive. Gerd -- ------------------------------------------------------------ Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de ------------------------------------------------------------