From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 6E432BC6C for ; Mon, 28 Jan 2008 17:38:43 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAPKTnUfAXQImh2dsb2JhbACQKgEBAQgKKZpr X-IronPort-AV: E=Sophos;i="4.25,260,1199660400"; d="scan'208";a="8457739" Received: from discorde.inria.fr ([192.93.2.38]) by mail3-smtp-sop.national.inria.fr with ESMTP; 28 Jan 2008 17:38:42 +0100 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m0SGcglK031101 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Mon, 28 Jan 2008 17:38:42 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CAPKTnUfBAkMt/2dsb2JhbACrUw X-IronPort-AV: E=Sophos;i="4.25,260,1199660400"; d="scan'208";a="8457737" Received: from vega.fmf.uni-lj.si (HELO postar.fmf.uni-lj.si) ([193.2.67.45]) by mail3-smtp-sop.national.inria.fr with ESMTP; 28 Jan 2008 17:38:41 +0100 Received: from localhost (unknown [192.168.5.1]) by postar.fmf.uni-lj.si (Postfix) with ESMTP id 425FD2E53D7 for ; Mon, 28 Jan 2008 17:38:41 +0100 (CET) X-Virus-Scanned: amavisd-new at spam.fmf.uni-lj.si Received: from postar.fmf.uni-lj.si ([192.168.5.5]) by localhost (spam.fmf.uni-lj.si [192.168.5.1]) (amavisd-new, port 10024) with ESMTP id 6v5TnThqwM2K for ; Mon, 28 Jan 2008 17:38:41 +0100 (CET) Received: from [193.2.67.88] (unknown [193.2.67.88]) by postar.fmf.uni-lj.si (Postfix) with ESMTP id 528CA2E53CB for ; Mon, 28 Jan 2008 17:38:37 +0100 (CET) Message-ID: <479E050B.3010306@fmf.uni-lj.si> Date: Mon, 28 Jan 2008 17:38:35 +0100 From: Andrej Bauer Reply-To: Andrej.Bauer@andrej.com User-Agent: Thunderbird 2.0.0.6 (X11/20071022) MIME-Version: 1.0 To: caml-list@inria.fr Subject: Re: [Caml-list] Re: The OCaml Community (aka back from the Developer Days) References: <1201439362.6302.15.camel@Blefuscu> <1201480729.479d2419c2f08@webmail.in-berlin.de> <1201519661.6747.27.camel@Blefuscu> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-2; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 479E0512.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; andrej:01 andrej:01 ocaml:01 saner:01 bindings:01 'n':01 ocaml:01 wrote:01 caml-list:01 aka:04 somewhat:05 simpler:05 long:06 missing:07 quite:08 Sylvain Le Gall wrote: > I think this is the only really missing thing with GODI. That and somewhat saner key bindings (other than 'n' and 'p'), say, how about being able to search among the 100+ packages? Please do not misunderstand me. I am quite happy with GODI. It makes my life much simpler. I stopped using Debian-based ocaml a long time ago in favor of GODI. Andrej