From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <nicolas.bros@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: *
X-Spam-Status: No, score=1.4 required=5.0 tests=HTML_MESSAGE,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 EBD4BBC6B
	for <caml-list@yquem.inria.fr>; Sat, 14 Jul 2007 10:18:27 +0200 (CEST)
Received: from mu-out-0910.google.com (mu-out-0910.google.com [209.85.134.185])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6E8IRNN015103
	for <caml-list@yquem.inria.fr>; Sat, 14 Jul 2007 10:18:27 +0200
Received: by mu-out-0910.google.com with SMTP id w8so881726mue
        for <caml-list@yquem.inria.fr>; Sat, 14 Jul 2007 01:18:27 -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:in-reply-to:mime-version:content-type:references;
        b=EloMe/o5frU7T1RVlSHXr6ABPnqQ/dto24HnrfiNtXjrxUVDijCJrLS4+jtGmzTC02+rhiYSNpGdooUBTEXTpL9yFDXCvGjIF7o2H37mNWKZdWOl5xZPuXhZcIMWL9AYDqa0CWjrHBEK5iUzo5xJY47L6IRpn+v6ujBtnbd7G70=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=beta;
        h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:references;
        b=QaHo8nsIsEA+sZSr7ATpo0n4NfUxbPqNfNstViUgnyq9p425TJcrkqMEySO4W3kpf9/bMPIAyKC9cLdVzWpemUqLJxnzlp4Rz8xky5kKjEvq+Q/oVWMl8Yg1m4Z0fPMDHjheAWXTJLRA+ZaklkCEyQqLz9JPDeh/2LLqsImTd0M=
Received: by 10.82.108.9 with SMTP id g9mr2894104buc.1184401107222;
        Sat, 14 Jul 2007 01:18:27 -0700 (PDT)
Received: by 10.82.153.14 with HTTP; Sat, 14 Jul 2007 01:18:27 -0700 (PDT)
Message-ID: <4fbf351c0707140118s3453caccj6ccbe97c1117a4ca@mail.gmail.com>
Date: Sat, 14 Jul 2007 10:18:27 +0200
From: "Nicolas Bros" <nicolas.bros@gmail.com>
To: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml
In-Reply-To: <46986C0E.5020600@ujf-grenoble.fr>
MIME-Version: 1.0
Content-Type: multipart/alternative; 
	boundary="----=_Part_28069_245535.1184401107193"
References: <4fbf351c0707131317u123e2457gc59d85d9378a66c7@mail.gmail.com>
	 <46986C0E.5020600@ujf-grenoble.fr>
X-j-chkmail-Score: MSGID : 469886D3.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1
X-Miltered: at discorde with ID 469886D3.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; o'caml:01 extensively:01 extensively:01 plug-in:98 3.3:98 3.2:98 3.3:98 3.2:98 caml-list:01 btw:03 btw:03 external:03 external:03 debian:04 debian:04 
X-Attachments: cset="UTF-8" cset="UTF-8" 

------=_Part_28069_245535.1184401107193
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

>
> it looks very nice, and I am tempted to give it a try, although I have
> never used eclipse.... but does it really need eclipse 3.3 ?
> Debian packages (unstable) provide only 3.2...


It should work well with Eclipse 3.2 too, although I recommend Eclipse 3.3,
because that is the version I have tested it most extensively with.

Eclipse is easy to install, you can just grab the archive, unzip it, and run
it from any folder on your hard drive.

pS: btw, please don't use frames in your website, especially when
> external links don't open in the _principal_ frame. ;)


Thanks for the advice, I will see what I can do.

And thank you for your interest in OcaIDE.

------=_Part_28069_245535.1184401107193
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

<span class="gmail_quote"></span><div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">it looks very nice, and I am tempted to give it a try, although I have
<br>never used eclipse.... but does it really need eclipse 3.3 ?<br>Debian packages (unstable) provide only 3.2...</blockquote><div><br>It should work well with Eclipse 3.2 too, although I recommend Eclipse
3.3, because that is the version I have tested it most extensively
with. <br><br>Eclipse is easy to install, you can just grab the archive, unzip it, and run it from any folder on your hard drive.<br></div><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
pS: btw, please don&#39;t use frames in your website, especially when<br>external links don&#39;t open in the _principal_ frame. ;)</blockquote><div><br></div>Thanks for the advice, I will see what I can do.<br><br>And thank you for your interest in OcaIDE.
</div>

------=_Part_28069_245535.1184401107193--