From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id BA81D7EE4B for ; Thu, 3 Oct 2013 08:07:23 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of david.mentre@gmail.com) identity=pra; client-ip=209.85.215.45; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="david.mentre@gmail.com"; x-sender="david.mentre@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of david.mentre@gmail.com designates 209.85.215.45 as permitted sender) identity=mailfrom; client-ip=209.85.215.45; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="david.mentre@gmail.com"; x-sender="david.mentre@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-la0-f45.google.com) identity=helo; client-ip=209.85.215.45; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="david.mentre@gmail.com"; x-sender="postmaster@mail-la0-f45.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiADAG4ITVLRVdctlGdsb2JhbABZgz9Sgk8TRrpxgxYBgR8IFg4BAQEBBwsLCRIqgiYBBQwXHQE4AQMMAQUDAgsPAiYCAh8DEgEFARwGEwiHbAMGCQyPT49VjAGDW4Q6JwwBiWUBBQyBHZEZgTkDjk6JM44zgWEYKYFjgm06 X-IPAS-Result: AiADAG4ITVLRVdctlGdsb2JhbABZgz9Sgk8TRrpxgxYBgR8IFg4BAQEBBwsLCRIqgiYBBQwXHQE4AQMMAQUDAgsPAiYCAh8DEgEFARwGEwiHbAMGCQyPT49VjAGDW4Q6JwwBiWUBBQyBHZEZgTkDjk6JM44zgWEYKYFjgm06 X-IronPort-AV: E=Sophos;i="4.90,1024,1371074400"; d="scan'208";a="28916584" Received: from mail-la0-f45.google.com ([209.85.215.45]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 03 Oct 2013 08:07:23 +0200 Received: by mail-la0-f45.google.com with SMTP id eh20so1525068lab.32 for ; Wed, 02 Oct 2013 23:07:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:from:date:message-id :subject:to:cc:content-type:content-transfer-encoding; bh=f/0ccmqoxOa/NE60Q8/rb3rHp+0mZaRNOalkIm9sXmc=; b=u8mfVtrgoLD6oK4sAthKiNuZuW5deezJzgvFBEUwADzar5x/RmbSxW3QX9FgVv63iN jXIZ/JYz8DEZocT5VRHUiPU+4+NhvsltY9lqFVRQqZWVBPqX40JSg38nH9T3EqJZibwM SZl0kH72CjjMlzkj1R0c8tODXivLkaBGgYPcUSs7EVyLYLtex7UTiCy3OO4sJqtcqDux MftEgxOwxD22BbRyCu3lg/8a1XHrYbkfMBVgNuHUik3cJVr8oqi5H06pmiNMKYI3cd69 qNbqr+2dYySsZvzZqG7McKFBA2Gfx4nv8TvvL2zjf4mGJMahrkR9Iajz+Q2I2BoxyADz JzMA== X-Received: by 10.152.3.42 with SMTP id 10mr5512178laz.22.1380780442489; Wed, 02 Oct 2013 23:07:22 -0700 (PDT) MIME-Version: 1.0 Sender: david.mentre@gmail.com Received: by 10.112.45.108 with HTTP; Wed, 2 Oct 2013 23:06:52 -0700 (PDT) In-Reply-To: <524C6C6B.6070006@free.fr> References: <524C6C6B.6070006@free.fr> From: David MENTRE Date: Thu, 3 Oct 2013 08:06:52 +0200 X-Google-Sender-Auth: u29odxbRaEmy0LXWnalyca_T2Ec Message-ID: To: Jeremie Salvucci Cc: Gabriel Scherer , caml users Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] OCaml editor running tests or other tasks in background? Hello J=C3=A9r=C3=A9mie, 2013/10/2 Jeremie Salvucci : > You also have OcaIDE available as an Eclipse plugin > (http://www.algo-prog.info/ocaide/). I'm new to Eclipse. Is there any facility to do what I would like to have in the Eclipse eco-system? Best regards, david