From: David MENTRE <dmentre@linux-france.org>
To: Jeremie Salvucci <jeremie.salvucci@free.fr>
Cc: Gabriel Scherer <gabriel.scherer@gmail.com>,
caml users <caml-list@inria.fr>
Subject: Re: [Caml-list] OCaml editor running tests or other tasks in background?
Date: Thu, 3 Oct 2013 08:06:52 +0200 [thread overview]
Message-ID: <CAC3Lx=Z08Eo2O+qF+HynWkGBGvyqnwGfpzURTOHs5p_Wgsdxag@mail.gmail.com> (raw)
In-Reply-To: <524C6C6B.6070006@free.fr>
Hello Jérémie,
2013/10/2 Jeremie Salvucci <jeremie.salvucci@free.fr>:
> 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
prev parent reply other threads:[~2013-10-03 6:07 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-10-02 16:00 David MENTRE
2013-10-02 17:06 ` Gabriel Scherer
2013-10-02 18:53 ` David MENTRÉ
2013-10-02 18:57 ` Simon Cruanes
2013-10-02 18:56 ` Jeremie Salvucci
2013-10-03 6:06 ` David MENTRE [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='CAC3Lx=Z08Eo2O+qF+HynWkGBGvyqnwGfpzURTOHs5p_Wgsdxag@mail.gmail.com' \
--to=dmentre@linux-france.org \
--cc=caml-list@inria.fr \
--cc=gabriel.scherer@gmail.com \
--cc=jeremie.salvucci@free.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).