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=1.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 715DDBC6B for ; Fri, 27 Jul 2007 09:18:58 +0200 (CEST) Received: from wx-out-0506.google.com (wx-out-0506.google.com [66.249.82.225]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6R7Ivh6008818 for ; Fri, 27 Jul 2007 09:18:58 +0200 Received: by wx-out-0506.google.com with SMTP id h27so648676wxd for ; Fri, 27 Jul 2007 00:18:57 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=Q2CmRcFcS87aok/l00/Lmkarsoemq8MVZk2WbAXoKCL2kbEZWrrZbMP5Rvn3bnPfR5SM4XWj3W/GDOkuv1B8OS4fBc6rSBz79WzfyNoTsHjs70z1flCG0/GOc1GIuAv8P5FSyOqO8oINkczZJNUiuhhmg8plLi3CftFYEM4dLug= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=dB+7zoObdjBgVZm7r5nGG6UfHG0O6a59h5l5Vafo6NggWoCvlXsVAWNMwXBr5KIOGUZ1F9AOgZWY6luhXFQw4aKO4T6Tr0d6Grzn6GWZYpHaNI5hQgupcfpLMWAb/JRH6fhRYMMWu/LSNaxuU+FwrGVYVPe7xAX5OgatnSN/8N8= Received: by 10.70.103.12 with SMTP id a12mr4489351wxc.1185520737207; Fri, 27 Jul 2007 00:18:57 -0700 (PDT) Received: by 10.70.45.4 with HTTP; Fri, 27 Jul 2007 00:18:57 -0700 (PDT) Message-ID: <4fbf351c0707270018r2a63c072va080f93e7971f04e@mail.gmail.com> Date: Fri, 27 Jul 2007 09:18:57 +0200 From: "Nicolas Bros" To: "Jon Harrop" Subject: Re: [Caml-list] OCalDE Cc: caml-list@yquem.inria.fr In-Reply-To: <200707261747.05149.jon@ffconsultancy.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <650880.59260.qm@web27003.mail.ukl.yahoo.com> <200707261747.05149.jon@ffconsultancy.com> X-j-chkmail-Score: MSGID : 46A99C61.001 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 46A99C61.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; partitioning:01 versioning:01 minimized:01 rewriting:01 camlp:01 camlp:01 command-line:01 gigantic:98 plug-in:98 monitors:98 caml-list:01 output:02 debugging:03 nicolas:08 nicolas:08 > What exactly does Eclipse provide for IDE developers? Eclipse provides a gigantic framework for application and plug-in developers. A lot of features come for free, like: - Text editors, which support syntax-coloring (with content partitioning), completion, hyperlinks, code folding, hooking up with an outline, ... - Local history, which allow you to restore a previous version of a file - Content versioning system - Views, which can be moved, minimized, closed, restored, ... - A building framework - A debugging framework - Progress monitors (which show a progress indicator and allow interrupting the task) - Perspectives (a way of organizing views by tasks) - Preferences, which are automatically saved and restored - Property pages - Wizards, for creating new projects, etc. The list goes on and on... > And what is rewriting camlp4 in Java like? There is no need to, camlp4 (like any other command-line tool) can be called from Eclipse, and its output used in OcaIDE.