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 pA4DLB4q000535
	for <caml-list@sympa-roc.inria.fr>; Fri, 4 Nov 2011 14:21:12 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AokBAFbms07RVdU2kGdsb2JhbABEhHqlCggiAQEBAQkJDQcUBCGBcgEBAQMBEgIPHQE4AQMBCwEFBQsPAiYCAiISAQUBHAY1h2CXeQqLDYMohUKJLQIFCoEmhmWBFgSUHI06PYFJgic
X-IronPort-AV: E=Sophos;i="4.69,455,1315173600"; 
   d="scan'208";a="116921341"
Received: from mail-yw0-f54.google.com ([209.85.213.54])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 04 Nov 2011 14:21:06 +0100
Received: by ywt32 with SMTP id 32so3605115ywt.27
        for <caml-list@inria.fr>; Fri, 04 Nov 2011 06:21:05 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=mime-version:sender:in-reply-to:references:date
         :x-google-sender-auth:message-id:subject:from:to:cc:content-type;
        bh=NXEjjZOVpcA0Rq+FcYMZryrHadjV30f9QrBrcGA8krc=;
        b=ids1WdrXLeHmt6LXbpv6Jq//wNmIjpsl0NH6ocZiDPPIW+qF0mALHBXTQGRPvfsTGh
         IV12wmBeZjzLpV6g80rjvafDJxCKXiD5Jr5DWXLjCIIxwosLwyeljJKPPUe+ItGGUmEc
         q+Wtyo979+b1K6cbiRxeo4b/FzNU39K9DU7E4=
MIME-Version: 1.0
Received: by 10.236.77.233 with SMTP id d69mr19829960yhe.84.1320412865117;
 Fri, 04 Nov 2011 06:21:05 -0700 (PDT)
Sender: daniel.c.buenzli@gmail.com
Received: by 10.147.128.14 with HTTP; Fri, 4 Nov 2011 06:21:05 -0700 (PDT)
In-Reply-To: <CAPFanBF2E8AL4F033z9B2YFqMWTrkwk94XVqyvv7un-TZOKzGg@mail.gmail.com>
References: <CAPFanBF2E8AL4F033z9B2YFqMWTrkwk94XVqyvv7un-TZOKzGg@mail.gmail.com>
Date: Fri, 4 Nov 2011 14:21:05 +0100
X-Google-Sender-Auth: haZGQlYgQWGlCIrX_9RvwLzJbOk
Message-ID: <CALgo1QKzZmc71OT1HxnCcv1sCpR8YwvFKpnZyx6ftoeoV+_=xg@mail.gmail.com>
From: =?UTF-8?Q?Daniel_B=C3=BCnzli?= <daniel.buenzli@erratique.ch>
To: Gabriel Scherer <gabriel.scherer@gmail.com>
Cc: caml-list@inria.fr
Content-Type: text/plain; charset=UTF-8
Subject: [Caml-list] Re: Jump-to-definition and type-aware completion for Caml (was :
 Argot 1.0 release)

Thanks for all the links.

> Beware that all those projects tend to be built as patches to the
> ocaml distribution, which means difficult deployment (which means few
> users, which means few maintenance, which means bitrot).

That's the problem. I tend not to rely too much beyond what is
provided by the standard distribution.

> You may also have a look at the various attempts at integrating OCaml with Java IDEs (Oca'IDE, Ocaml Development Tools, etc.).

Well I'm really not fond of IDEs. I usually find them very invasive
and bureaucratic and I'm not productive in them. So far emacs is the
only system that works really well for me (it's also an "IDE" that
works everywhere, even in the terminal). But I have to admit that some
IDEs provide features that I would like to have in the emacs modes I
use.

Best,

Daniel