From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id A21ED7EE4B for ; Fri, 27 Sep 2013 14:14:14 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gour@atmarama.net) identity=pra; client-ip=80.91.229.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="gour@atmarama.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gclci-caml-list@m.gmane.org designates 80.91.229.3 as permitted sender) identity=mailfrom; client-ip=80.91.229.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="gclci-caml-list@m.gmane.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@plane.gmane.org designates 80.91.229.3 as permitted sender) identity=helo; client-ip=80.91.229.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="postmaster@plane.gmane.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmYDADF1RVJQW+UDf2dsb2JhbABZgz+DIlm+PxYOAQELCwoIFCiCJQEBBAEMFzIeCwsJAhoCBSECAg8tGxkUh2wKjCKbVpIogSmORYJSgTYDjy+ITYEwixiIVw X-IPAS-Result: AmYDADF1RVJQW+UDf2dsb2JhbABZgz+DIlm+PxYOAQELCwoIFCiCJQEBBAEMFzIeCwsJAhoCBSECAg8tGxkUh2wKjCKbVpIogSmORYJSgTYDjy+ITYEwixiIVw X-IronPort-AV: E=Sophos;i="4.90,992,1371074400"; d="scan'208";a="34613444" Received: from plane.gmane.org ([80.91.229.3]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 27 Sep 2013 14:14:13 +0200 Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1VPWw0-00039g-T3 for caml-list@inria.fr; Fri, 27 Sep 2013 14:14:12 +0200 Received: from 93-139-154-189.adsl.net.t-com.hr ([93.139.154.189]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Fri, 27 Sep 2013 14:14:12 +0200 Received: from gour by 93-139-154-189.adsl.net.t-com.hr with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Fri, 27 Sep 2013 14:14:12 +0200 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Gour Date: Fri, 27 Sep 2013 14:13:27 +0200 Message-ID: <20130927141327.58f916b8@atmarama.noip.me> References: <20130927091146.54ef8c42@atmarama.noip.me> <524569E1.20701@etorok.net> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: 93-139-154-189.adsl.net.t-com.hr X-Newsreader: Claws Mail 3.9.1 (GTK+ 2.24.20; x86_64-pc-linux-gnu) X-Validation-by: gour@atmarama.net Subject: Re: [Caml-list] UFO (United Forces of OCaml) On Fri, 27 Sep 2013 14:20:01 +0300 T=C3=B6r=C3=B6k Edwin wrote: > I'd prefer if existing tools are improved, and the best one > considered as "standard", rather than developing a new set of tools > to replace all the existing ones. As you noticed we have too many > alternatives already, and if yet another one is created we'll end up > with: http://xkcd.com/927/ I was not thinking about 'new' set of tools, but choosing some onto which the community effort should be focused. Sincerely, Gour --=20 He is a perfect yog=C4=AB who, by comparison to his own self,=20 sees the true equality of all beings, in both their=20 happiness and their distress, O Arjuna! http://www.atmarama.net | Hlapicina (Croatia) | GPG: 52B5C810