From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p6IERWTS009705 for ; Mon, 18 Jul 2011 16:27:32 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlgBAG1CJE6GnQCBkWdsb2JhbABUG4QuoysUAQEBAQkLCwcUAyK6VZBigSuEAoEPBJJmhQGLVg X-IronPort-AV: E=Sophos;i="4.67,222,1309730400"; d="scan'208";a="103294597" Received: from shiva.jussieu.fr ([134.157.0.129]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 18 Jul 2011 16:27:14 +0200 Received: from hydrogene.pps.jussieu.fr (hydrogene.pps.jussieu.fr [134.157.168.1]) by shiva.jussieu.fr (8.14.4/jtpda-5.4) with ESMTP id p6IEQABN016104 ; Mon, 18 Jul 2011 16:26:23 +0200 (CEST) X-Ids: 168 Received: from [134.157.168.19] (potassium.pps.jussieu.fr [134.157.168.19]) by hydrogene.pps.jussieu.fr (Postfix) with ESMTP id F41D9C33A1; Mon, 18 Jul 2011 16:26:44 +0200 (CEST) Message-ID: <4E2442A4.6000009@dogguy.org> Date: Mon, 18 Jul 2011 16:26:44 +0200 From: Mehdi Dogguy User-Agent: Mozilla/5.0 (X11; U; Linux i686 (x86_64); en-US; rv:1.9.1.16) Gecko/20110506 Iceowl/1.0b1 Icedove/3.0.11 MIME-Version: 1.0 To: Ashish Agarwal CC: Caml List References: In-Reply-To: Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Miltered: at jchkmail.jussieu.fr with ID 4E2442A6.000 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 4E2442A6.000/134.157.168.1/hydrogene.pps.jussieu.fr/hydrogene.pps.jussieu.fr/ Subject: Re: [Caml-list] new project for an OCaml community website On 18/07/2011 16:19, Ashish Agarwal wrote: > [2] https://forge.ocamlcore.org/projects/ocamlweb/ It would have been nice to pick a non-already-used-name for this project. (Just to not confuse search engines, users, and so on…) Are you aware of [2bis]? [2bis] http://www.lri.fr/~filliatr/ocamlweb/ aka. ocamlweb — a literate programming tool for Objective Caml. Kind Regards, -- Mehdi Dogguy مهدي الدڤي http://dogguy.org/