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 E0C8BBC6B
	for <caml-list@yquem.inria.fr>; Fri, 13 Jul 2007 22:17:10 +0200 (CEST)
Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.174])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6DKHA8S005986
	for <caml-list@yquem.inria.fr>; Fri, 13 Jul 2007 22:17:10 +0200
Received: by ug-out-1314.google.com with SMTP id o2so627494uge
        for <caml-list@yquem.inria.fr>; Fri, 13 Jul 2007 13:17:10 -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:mime-version:content-type;
        b=gH+l6gMb+WKiBLfjmBCziiimka+AXOJ4CS8cXsgXPdrF8trTB0qZ9Rptajt9q1CYSmQUbE6YCGybMqXYds/q10QJiwVpfObIeAhP0vtLL2xoSv4FpEofXxv6rapn4vUEZh3zy8DdwQEjSSLTi7OPHbCxpdezKb4OeAGUP9sNomw=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=beta;
        h=received:message-id:date:from:to:subject:mime-version:content-type;
        b=WodTrsddf3UK7zXs9dzzkQWpdmk8s9FgL6gIzBns7o129WTBMUJWLxpjo1mFbr0RXXjFXROp6Z4jfPF0SMlxybZEKTa8yxPD/w1mUkRwwTpdpa+NflA6kbpu9m5DBPor4IjW03yIqik6Kpz06W8xzaRYpinUNLFY76XOD9yZTSg=
Received: by 10.82.106.14 with SMTP id e14mr2497972buc.1184357829148;
        Fri, 13 Jul 2007 13:17:09 -0700 (PDT)
Received: by 10.82.153.14 with HTTP; Fri, 13 Jul 2007 13:17:09 -0700 (PDT)
Message-ID: <4fbf351c0707131317u123e2457gc59d85d9378a66c7@mail.gmail.com>
Date: Fri, 13 Jul 2007 22:17:09 +0200
From: "Nicolas Bros" <nicolas.bros@gmail.com>
To: caml-list@yquem.inria.fr
Subject: OcaIDE: a new Eclipse plug-in for O'Caml
MIME-Version: 1.0
Content-Type: multipart/alternative; 
	boundary="----=_Part_25493_10045161.1184357829110"
X-j-chkmail-Score: MSGID : 4697DDC6.001 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1
X-Miltered: at discorde with ID 4697DDC6.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; o'caml:01 o'caml:01 ocaml:01 ocaml:01 plug-in:98 plug-in:98 install:05 install:05 nicolas:08 nicolas:08 release:09 release:09 announce:11 announce:11 hello:17 
X-Attachments: cset="UTF-8" cset="UTF-8" 

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

Hello everybody,

I am happy to announce the release of OcaIDE: a new Eclipse plug-in for
O'Caml.
Please visit this site for more information, screenshots, and to install it:
http://ocaml.eclipse.ortsa.com

Thank you, and have a good day!

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

Hello everybody,<br><br>I am happy to announce the release of OcaIDE: a new Eclipse plug-in for O&#39;Caml.<br>Please visit this site for more information, screenshots, and to install it:<br><a href="http://ocaml.eclipse.ortsa.com">
http://ocaml.eclipse.ortsa.com</a><br><br>Thank you, and have a good day!<br>

------=_Part_25493_10045161.1184357829110--


From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <san.vu-ngoc@ujf-grenoble.fr>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled 
	version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39])
	by yquem.inria.fr (Postfix) with ESMTP id E1BD0BC6B
	for <caml-list@yquem.inria.fr>; Sat, 14 Jul 2007 08:24:21 +0200 (CEST)
Received: from amazone2.ujf-grenoble.fr (amazone2.ujf-grenoble.fr [152.77.2.202])
	by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6E6OLrO009959
	for <caml-list@yquem.inria.fr>; Sat, 14 Jul 2007 08:24:21 +0200
Received: from tana2.ujf-grenoble.fr (tana2.ujf-grenoble.fr [152.77.24.22])
	by amazone2.ujf-grenoble.fr (8.13.7/8.13.7/Configured  by JE 21 07 2006) with ESMTP id l6E6OIDf008688;
	Sat, 14 Jul 2007 08:24:18 +0200 (CEST)
Received: from localhost (unknown [127.0.0.1])
	by tana2.ujf-grenoble.fr (Postfix) with ESMTP id 574EA250461;
	Sat, 14 Jul 2007 08:24:18 +0200 (CEST)
X-Virus-Scanned: Scanned on tana2.ujf-grenoble.fr
Received: from tana2.ujf-grenoble.fr ([127.0.0.1])
	by localhost (tana2.ujf-grenoble.fr [127.0.0.1]) (amavisd-new, port 10024)
	with ESMTP id stI5C35h-ph2; Sat, 14 Jul 2007 08:24:18 +0200 (CEST)
Received: from tibre2.ujf-grenoble.fr (tibre2.ujf-grenoble.fr [152.77.24.10])
	by tana2.ujf-grenoble.fr (Postfix) with ESMTP id 293ED25045E;
	Sat, 14 Jul 2007 08:24:18 +0200 (CEST)
Received: from fourier.ujf-grenoble.fr (fourier.ujf-grenoble.fr [193.54.241.15])
	by tibre2.ujf-grenoble.fr (8.13.3/8.13.3) with ESMTP id l6E6OIhL028287;
	Sat, 14 Jul 2007 08:24:18 +0200 (CEST)
	(envelope-from san.vu-ngoc@ujf-grenoble.fr)
Received: from localhost (localhost [127.0.0.1])
	by fourier.ujf-grenoble.fr (Postfix) with ESMTP id BADA64FAC4;
	Sat, 14 Jul 2007 08:24:17 +0200 (CEST)
X-Virus-Scanned: Debian amavisd-new at fourier.ujf-grenoble.fr
Received: from fourier.ujf-grenoble.fr ([127.0.0.1])
	by localhost (fourier.ujf-grenoble.fr [127.0.0.1]) (amavisd-new, port 10024)
	with ESMTP id VDySmELm64xA; Sat, 14 Jul 2007 08:24:17 +0200 (CEST)
Received: from [127.0.0.1] (malherbe.ujf-grenoble.fr [193.54.241.13])
	(using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits))
	(No client certificate requested)
	by fourier.ujf-grenoble.fr (Postfix) with ESMTP id 653534F95A;
	Sat, 14 Jul 2007 08:24:17 +0200 (CEST)
Message-ID: <46986C0E.5020600@ujf-grenoble.fr>
Date: Sat, 14 Jul 2007 08:24:14 +0200
From: Vu Ngoc San <san.vu-ngoc@ujf-grenoble.fr>
User-Agent: Mozilla-Thunderbird 2.0.0.4 (X11/20070622)
MIME-Version: 1.0
To: Nicolas Bros <nicolas.bros@gmail.com>
Cc: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml
References: <4fbf351c0707131317u123e2457gc59d85d9378a66c7@mail.gmail.com>
In-Reply-To: <4fbf351c0707131317u123e2457gc59d85d9378a66c7@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Miltered: at concorde with ID 46986C15.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; o'caml:01 o'caml:01 ocaml:01 beginner's:01 ocaml:01 bug:01 plug-in:98 3.3:98 plug-in:98 beginners:01 wrote:01 caml-list:01 caml-list:01 bin:01 caml:02 

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...

San

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



Nicolas Bros wrote:
> Hello everybody,
> 
> I am happy to announce the release of OcaIDE: a new Eclipse plug-in for 
> O'Caml.
> Please visit this site for more information, screenshots, and to install it:
> http://ocaml.eclipse.ortsa.com
> 
> Thank you, and have a good day!
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs


From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <pasckosky2000@yahoo.it>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: ***
X-Spam-Status: No, score=3.2 required=5.0 tests=DNS_FROM_RFC_ABUSE,
	DNS_FROM_RFC_POST,RCVD_IN_SORBS_WEB 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 A5AF4BC6B
	for <caml-list@yquem.inria.fr>; Sat, 14 Jul 2007 09:48:55 +0200 (CEST)
Received: from smtp004.mail.ukl.yahoo.com (smtp004.mail.ukl.yahoo.com [217.12.11.35])
	by discorde.inria.fr (8.13.6/8.13.6) with SMTP id l6E7mtoH010577
	for <caml-list@yquem.inria.fr>; Sat, 14 Jul 2007 09:48:55 +0200
Received: (qmail 61096 invoked from network); 14 Jul 2007 07:48:54 -0000
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws;
  s=s1024; d=yahoo.it;
  h=Received:X-YMail-OSG:Message-ID:Date:From:User-Agent:MIME-Version:To:Subject:References:In-Reply-To:Content-Type:Content-Transfer-Encoding;
  b=mWa7hgFmgseOmMo/v/q+OP71DQza63GTUsccsGkBUNnOJbQqtlJj2Z4Ltgzgdz96jbNhMl6pzClJfnH5sR1gKJCgS6JZvxBKQC5vJ1LAVbo2MTL/XD8hocNxetjWr6XZfHFwNb63yG9w5GmzfBCDM8ZjR6unNgPr4jCwS0Ww7Jg=  ;
Received: from unknown (HELO ?1.41.7.153?) (pasckosky@85.18.201.167 with plain)
  by smtp004.mail.ukl.yahoo.com with SMTP; 14 Jul 2007 07:48:54 -0000
X-YMail-OSG: M3eoSBUVM1kCkTyrQs0qbz3cQ2pZ3luJiFek2Nt_ODyE9panVJh2THwXUSEt6WEiJlwJvGUmcw--
Message-ID: <46987FE6.1030302@yahoo.it>
Date: Sat, 14 Jul 2007 09:48:54 +0200
From: Luca Pascali <pasckosky2000@yahoo.it>
User-Agent: Icedove 1.5.0.12 (X11/20070607)
MIME-Version: 1.0
To: Caml List <caml-list@yquem.inria.fr>
Subject: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml
References: <4fbf351c0707131317u123e2457gc59d85d9378a66c7@mail.gmail.com> <46986C0E.5020600@ujf-grenoble.fr>
In-Reply-To: <46986C0E.5020600@ujf-grenoble.fr>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Miltered: at discorde with ID 46987FE7.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; o'caml:01 makefile:01 makefile:01 plug-in:98 3.3:98 lenny:98 3.2:98 wrote:01 wrote:01 caml-list:01 seems:03 luca:04 luca:04 debian:04 debian:04 

Vu Ngoc San wrote:
> 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...
>
I tried to use it on my Debian Lenny (with packed eclipse 3.2) and it 
seems work.
Very nice project.
Usually I don't like eclipse (it's too heavy and slow, but if it works 
it can be fine).

I have imported one big project of mine and it took it without any 
problem but the creation of another makefile named "makefile" (mine is 
"Makefile")
With luck, make considers first "Makefile" name and then "makefile", but 
adding a little check should not be a big challenge.
If it should also be possible to use the capital name instead of the 
lower case one as default or at least letting the programmer to choose 
which name use (only in Windows this is not important)
> [...]
> Nicolas Bros wrote:
[...]

Anyway it is a very nice project.

Luca


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.0 required=5.0 tests=AWL,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 E5493BC6B
	for <caml-list@yquem.inria.fr>; Sat, 14 Jul 2007 10:13:57 +0200 (CEST)
Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.170])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6E8DuUd014545
	for <caml-list@yquem.inria.fr>; Sat, 14 Jul 2007 10:13:57 +0200
Received: by ug-out-1314.google.com with SMTP id o2so687357uge
        for <caml-list@yquem.inria.fr>; Sat, 14 Jul 2007 01:13:56 -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:references;
        b=A7idJcmypPoalp6NWz0ve/RaTXPcy0qzRgJRfgkK8ZbZ03BzoT7FryfoaoDbw6xYU3y9FZNPjU0z3rVN9FqYCKOjaxYc07416ytDgv1sk0eJ55u36QFi10RNoSZn7q97zgmaMyE6CIGHAajfDBbtnnvZhpr7v6o3N6porXyNd6U=
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:references;
        b=E7CA0xc5u9DbQymJ11RmNiLUAb0j1NCAtcppE+4ZWR8Q+UXj0xqKkYpKNbVaU6d+1D0lMreGisWl0K8iWLH40riI0miO2sXI7nzO6ioWuE6392eGQ4Vl9aq29kPkbyvgGKokgTpyPSFRCHSFGGnFvPv3HRbXsndwRvgYNdXQT+U=
Received: by 10.82.127.14 with SMTP id z14mr2894514buc.1184400836445;
        Sat, 14 Jul 2007 01:13:56 -0700 (PDT)
Received: by 10.82.153.14 with HTTP; Sat, 14 Jul 2007 01:13:56 -0700 (PDT)
Message-ID: <4fbf351c0707140113i7b5d1f05m2d1d8139b5253472@mail.gmail.com>
Date: Sat, 14 Jul 2007 10:13:56 +0200
From: "Nicolas Bros" <nicolas.bros@gmail.com>
To: "Luca Pascali" <pasckosky2000@yahoo.it>
Subject: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml
Cc: "Caml List" <caml-list@yquem.inria.fr>
In-Reply-To: <46987FE6.1030302@yahoo.it>
MIME-Version: 1.0
Content-Type: multipart/alternative; 
	boundary="----=_Part_28061_18523281.1184400836419"
References: <4fbf351c0707131317u123e2457gc59d85d9378a66c7@mail.gmail.com>
	 <46986C0E.5020600@ujf-grenoble.fr> <46987FE6.1030302@yahoo.it>
X-j-chkmail-Score: MSGID : 469885C4.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1
X-Miltered: at discorde with ID 469885C4.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; o'caml:01 makefile:01 makefile:01 ocaml:01 ocaml:01 plug-in:98 caml-list:01 problem:05 problem:05 anyway:05 anyway:05 meant:06 meant:06 programmer:07 programmer:07 
X-Attachments: cset="UTF-8" cset="UTF-8" 

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

>
> I have imported one big project of mine and it took it without any
> problem but the creation of another makefile named "makefile" (mine is
> "Makefile")
> With luck, make considers first "Makefile" name and then "makefile", but
> adding a little check should not be a big challenge.


For importing projects, you can use the "OCaml Empty Makefile Project"
project creation wizard. It creates a makefile project without any files
inside. Whereas the other kind of makefile project wizard, "OCaml Makefile
Project" is meant to be used as a starting point for a new project.

If it should also be possible to use the capital name instead of the
> lower case one as default or at least letting the programmer to choose
> which name use (only in Windows this is not important)


The name is determined by the "make" command, since it is called to build
the project.

Anyway it is a very nice project.


Thank you

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

<div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">I have imported one big project of mine and it took it without any<br>problem but the creation of another makefile named &quot;makefile&quot; (mine is
<br>&quot;Makefile&quot;)<br>With luck, make considers first &quot;Makefile&quot; name and then &quot;makefile&quot;, but<br>adding a little check should not be a big challenge.</blockquote><div><br>For importing projects, you can use the &quot;OCaml Empty Makefile Project&quot; project creation wizard. It creates a makefile project without any files inside. Whereas the other kind of makefile project wizard, &quot;OCaml Makefile Project&quot; is meant to be used as a starting point for a new project.
<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;">If it should also be possible to use the capital name instead of the<br>lower case one as default or at least letting the programmer to choose
<br>which name use (only in Windows this is not important)</blockquote><div><br>The name is determined by the &quot;make&quot; command, since it is called to build the project.<br><br></div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Anyway it is a very nice project.</blockquote><div><br>Thank you<br></div></div>

------=_Part_28061_18523281.1184400836419--


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--


From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <dra-news@metastack.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled 
	version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39])
	by yquem.inria.fr (Postfix) with ESMTP id 19FA0BC6B
	for <caml-list@yquem.inria.fr>; Sat, 14 Jul 2007 17:36:33 +0200 (CEST)
Received: from orion.metastack.com (no-dns-yet.demon.co.uk [80.177.38.218] (may be forged))
	by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6EFaVYm005907
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL)
	for <caml-list@yquem.inria.fr>; Sat, 14 Jul 2007 17:36:32 +0200
Received: from treble (cpc2-cmbg6-0-0-cust535.cmbg.cable.ntl.com [81.107.34.24])
	(authenticated bits=0)
	by orion.metastack.com (8.13.4/8.13.3) with ESMTP id l6EFQlAb021775
	(version=TLSv1/SSLv3 cipher=RC4-MD5 bits=128 verify=NO)
	for <caml-list@yquem.inria.fr>; Sat, 14 Jul 2007 16:26:48 +0100
From: "David Allsopp" <dra-news@metastack.com>
To: "'Caml List'" <caml-list@yquem.inria.fr>
References: <4fbf351c0707131317u123e2457gc59d85d9378a66c7@mail.gmail.com><46986C0E.5020600@ujf-grenoble.fr> <46987FE6.1030302@yahoo.it> <4fbf351c0707140113i7b5d1f05m2d1d8139b5253472@mail.gmail.com>
Subject: RE: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml
Date: Sat, 14 Jul 2007 16:36:30 +0100
Organization: MetaStack Solutions Ltd.
Message-ID: <013b01c7c62c$c0c19040$6a7ba8c0@treble>
MIME-Version: 1.0
Content-Type: text/plain;
	charset="us-ascii"
Content-Transfer-Encoding: 7bit
X-Mailer: Microsoft Office Outlook 11
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.3138
In-Reply-To: <4fbf351c0707140113i7b5d1f05m2d1d8139b5253472@mail.gmail.com>
Thread-Index: AcfF7bDzS59WpDX4SveEnRHPYcqmUAAPp4EA
X-Miltered: at concorde with ID 4698ED80.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; o'caml:01 makefile:01 makefile:01 plug-in:98 unix:01 caml-list:01 gnu:03 usual:06 probably:07 useful:08 although:10 i've:12 yet:12 build:13 should:13 

> With luck, make considers first "Makefile" name and then "makefile", 
> but adding a little check should not be a big challenge.
GNU make considers GNUmakefile, makefile then Makefile
Makefile is more usual than makefile (and is recommended in the man page...)

> The name is determined by the "make" command, since it is called to build
> the project.
The -f switch for make allows another filename to be specified - although
I've not (yet) looked at the plugin this would probably be useful for
projects that have Makefile (for UNIX) and Makefile.nt (for Windows)



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.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 87442BC6B
	for <caml-list@yquem.inria.fr>; Sat, 14 Jul 2007 17:47:07 +0200 (CEST)
Received: from fk-out-0910.google.com (fk-out-0910.google.com [209.85.128.189])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6EFl7sw023377
	for <caml-list@yquem.inria.fr>; Sat, 14 Jul 2007 17:47:07 +0200
Received: by fk-out-0910.google.com with SMTP id b27so54811fka
        for <caml-list@yquem.inria.fr>; Sat, 14 Jul 2007 08:47:07 -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=ghsBpPM3sppqsfMWTQJiS0sh1T03b9WM/uS5NhedufoeQ4nNCZ/IjX2u8CGLHIQo6UWcjBPnyBhuygUXgwBg+S11Vayr03e0GN9L2aow4ca7Pr9xiqWj0+uSQ4GefUmx2rGlUkuSt5aoxnqW6CRNv0hOJHADNduHU0I5SI83jr0=
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=XdY1MbNK/YZsQyfLrxIpHf7aoNLrypXUnyDWQKujlcZThPBV1AvkCzdrXtQN8P0RsWEiuFrekEtTjsUjAoHIqR1sCk+ZeDbNaTzFIb4npE1Oshi0/QABUqf5aYj6KrH70GxvvdhEe67Ybm44quGFPRaEYlVVIYz3dn8SwHq3yQs=
Received: by 10.82.116.15 with SMTP id o15mr3192793buc.1184428026777;
        Sat, 14 Jul 2007 08:47:06 -0700 (PDT)
Received: by 10.82.153.14 with HTTP; Sat, 14 Jul 2007 08:47:06 -0700 (PDT)
Message-ID: <4fbf351c0707140847p12b0a1cclf30d006c4585f84b@mail.gmail.com>
Date: Sat, 14 Jul 2007 17:47:06 +0200
From: "Nicolas Bros" <nicolas.bros@gmail.com>
To: "David Allsopp" <dra-news@metastack.com>
Subject: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml
Cc: "Caml List" <caml-list@yquem.inria.fr>
In-Reply-To: <013b01c7c62c$c0c19040$6a7ba8c0@treble>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
References: <4fbf351c0707131317u123e2457gc59d85d9378a66c7@mail.gmail.com>
	 <46986C0E.5020600@ujf-grenoble.fr> <46987FE6.1030302@yahoo.it>
	 <4fbf351c0707140113i7b5d1f05m2d1d8139b5253472@mail.gmail.com>
	 <013b01c7c62c$c0c19040$6a7ba8c0@treble>
X-j-chkmail-Score: MSGID : 4698EFFB.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1
X-Miltered: at discorde with ID 4698EFFB.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; o'caml:01 makefile:01 makefile:01 plug-in:98 unix:01 caml-list:01 gnu:03 generated:05 usual:06 probably:07 nicolas:08 nicolas:08 rather:08 useful:08 file:08 

> > With luck, make considers first "Makefile" name and then "makefile",
> > but adding a little check should not be a big challenge.
> GNU make considers GNUmakefile, makefile then Makefile
> Makefile is more usual than makefile (and is recommended in the man page...)
>
> > The name is determined by the "make" command, since it is called to build
> > the project.
> The -f switch for make allows another filename to be specified - although
> I've not (yet) looked at the plugin this would probably be useful for
> projects that have Makefile (for UNIX) and Makefile.nt (for Windows)

If I understand you, you would rather a "Makefile" file was generated
instead of a "makefile"?


From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <dra-news@metastack.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=none 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 33C08BC6B
	for <caml-list@yquem.inria.fr>; Sat, 14 Jul 2007 17:52:16 +0200 (CEST)
Received: from orion.metastack.com (no-dns-yet.demon.co.uk [80.177.38.218] (may be forged))
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6EFqFLH024202
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL)
	for <caml-list@yquem.inria.fr>; Sat, 14 Jul 2007 17:52:15 +0200
Received: from treble (cpc2-cmbg6-0-0-cust535.cmbg.cable.ntl.com [81.107.34.24])
	(authenticated bits=0)
	by orion.metastack.com (8.13.4/8.13.3) with ESMTP id l6EFgSge021822
	(version=TLSv1/SSLv3 cipher=RC4-MD5 bits=128 verify=NO)
	for <caml-list@yquem.inria.fr>; Sat, 14 Jul 2007 16:42:29 +0100
From: "David Allsopp" <dra-news@metastack.com>
To: "'Caml List'" <caml-list@yquem.inria.fr>
References: <4fbf351c0707131317u123e2457gc59d85d9378a66c7@mail.gmail.com> <46986C0E.5020600@ujf-grenoble.fr> <46987FE6.1030302@yahoo.it> <4fbf351c0707140113i7b5d1f05m2d1d8139b5253472@mail.gmail.com> <013b01c7c62c$c0c19040$6a7ba8c0@treble> <4fbf351c0707140847p12b0a1cclf30d006c4585f84b@mail.gmail.com>
Subject: RE: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml
Date: Sat, 14 Jul 2007 16:52:11 +0100
Organization: MetaStack Solutions Ltd.
Message-ID: <000b01c7c62e$f1de6e30$6a7ba8c0@treble>
MIME-Version: 1.0
Content-Type: text/plain;
	charset="us-ascii"
Content-Transfer-Encoding: 7bit
X-Mailer: Microsoft Office Outlook 11
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.3138
Thread-Index: AcfGLN/cikJzgSaOTOmL/H9O/YP/wAAAbEOw
In-Reply-To: <4fbf351c0707140847p12b0a1cclf30d006c4585f84b@mail.gmail.com>
X-Miltered: at discorde with ID 4698F12F.002 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; o'caml:01 makefile:01 makefile:01 plug-in:98 unix:01 caml-list:01 gnu:03 generated:05 usual:06 probably:07 rather:08 useful:08 file:08 although:10 i've:12 

> > > With luck, make considers first "Makefile" name and then "makefile",
> > > but adding a little check should not be a big challenge.
> > GNU make considers GNUmakefile, makefile then Makefile
> > Makefile is more usual than makefile (and is recommended in the man
> > page...)
> >
> > > The name is determined by the "make" command, since it is called to
> > build
> > > the project.
> > The -f switch for make allows another filename to be specified -
> > although I've not (yet) looked at the plugin this would probably be
> > useful for projects that have Makefile (for UNIX) and Makefile.nt (for
> > Windows)
>
> If I understand you, you would rather a "Makefile" file was generated
> instead of a "makefile"?

Yes - which I think is what the OP was hinting at too.


From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <pasckosky2000@yahoo.it>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: **
X-Spam-Status: No, score=2.7 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE,
	DNS_FROM_RFC_POST,RCVD_IN_SORBS_WEB 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 DD773BC6B
	for <caml-list@yquem.inria.fr>; Sat, 14 Jul 2007 17:52:46 +0200 (CEST)
Received: from smtp006.mail.ukl.yahoo.com (smtp006.mail.ukl.yahoo.com [217.12.11.95])
	by discorde.inria.fr (8.13.6/8.13.6) with SMTP id l6EFqkqP024351
	for <caml-list@yquem.inria.fr>; Sat, 14 Jul 2007 17:52:46 +0200
Received: (qmail 8672 invoked from network); 14 Jul 2007 15:46:05 -0000
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws;
  s=s1024; d=yahoo.it;
  h=Received:X-YMail-OSG:Message-ID:Date:From:User-Agent:MIME-Version:To:Subject:References:In-Reply-To:Content-Type:Content-Transfer-Encoding;
  b=bI/GzS7Nd8wiSDhuO1+jQvxiJs57VuIzEdWgOWhBKfdjb8dgoMSGxEeExs7TSRbTB1DiSTBpUyxD5MhqLranpQLODZ9MKqPR8VTCBTVxKTU6gwEhPHzBlfJ6tSK7AFdBK7P3DCfW8VaK3NH7cOdkpcolN1K/QKl4/436T4rJ2yo=  ;
Received: from unknown (HELO ?1.41.7.153?) (pasckosky@85.18.201.167 with plain)
  by smtp006.mail.ukl.yahoo.com with SMTP; 14 Jul 2007 15:46:05 -0000
X-YMail-OSG: vA9.xmkVM1lr4qpEiMZABAEjLmxqTI5io8mWQexNv7BacGSBBu7rBV.hxI6HTc7ctKehjLJMeQ--
Message-ID: <4698EFBB.4000901@yahoo.it>
Date: Sat, 14 Jul 2007 17:46:03 +0200
From: Luca Pascali <pasckosky2000@yahoo.it>
User-Agent: Icedove 1.5.0.12 (X11/20070607)
MIME-Version: 1.0
To: Caml List <caml-list@yquem.inria.fr>
Subject: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml
References: <4fbf351c0707131317u123e2457gc59d85d9378a66c7@mail.gmail.com><46986C0E.5020600@ujf-grenoble.fr>	<46987FE6.1030302@yahoo.it>	<4fbf351c0707140113i7b5d1f05m2d1d8139b5253472@mail.gmail.com> <013b01c7c62c$c0c19040$6a7ba8c0@treble>
In-Reply-To: <013b01c7c62c$c0c19040$6a7ba8c0@treble>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Miltered: at discorde with ID 4698F14E.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; o'caml:01 makefile:01 makefile:01 lowercase:01 ocaml:01 plug-in:98 wrote:01 unix:01 caml-list:01 luca:04 luca:04 install:05 anyway:05 probably:07 patch:08 

David Allsopp wrote:
[...]
>> The name is determined by the "make" command, since it is called to build
>> the project.
>>     
> The -f switch for make allows another filename to be specified - although
> I've not (yet) looked at the plugin this would probably be useful for
> projects that have Makefile (for UNIX) and Makefile.nt (for Windows)
>
>   
Yep.
Anyway I looked into the source of the plug in and I found the exact 
point where the makefile is named in lowercase (I found 2 points, one in 
with capital and one in lower case).

As soon as I find how to install the modified plugin into Eclipse, I'll 
check if there are no side effects and I will submit the patch to the 
development team.
Then they will consider or drop my patch.

I'm not dicussing it here, because that's Java, not OCaml. :-)

Luca


From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gabriel.kerneis@enst.fr>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled 
	version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39])
	by yquem.inria.fr (Postfix) with ESMTP id 06924BC6B
	for <caml-list@yquem.inria.fr>; Sat, 14 Jul 2007 17:54:06 +0200 (CEST)
Received: from smtp4-g19.free.fr (smtp4-g19.free.fr [212.27.42.30])
	by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6EFs5S3010483
	for <caml-list@yquem.inria.fr>; Sat, 14 Jul 2007 17:54:05 +0200
Received: from kerneis.info (kerneis.info [82.224.215.18])
	by smtp4-g19.free.fr (Postfix) with ESMTP id 34BD66F22F
	for <caml-list@yquem.inria.fr>; Sat, 14 Jul 2007 17:54:05 +0200 (CEST)
Received: from localhost
	([127.0.0.1] helo=tatanka.kerneis.info ident=gabriel)
	by kerneis.info with esmtp (Exim 4.63)
	(envelope-from <gabriel.kerneis@enst.fr>)
	id 1I9jvy-0000H9-GZ
	for caml-list@yquem.inria.fr; Sat, 14 Jul 2007 17:53:26 +0200
Date: Sat, 14 Jul 2007 17:54:02 +0200
From: Gabriel Kerneis <gabriel.kerneis@enst.fr>
To: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml
In-Reply-To: <4fbf351c0707131317u123e2457gc59d85d9378a66c7@mail.gmail.com>
References: <4fbf351c0707131317u123e2457gc59d85d9378a66c7@mail.gmail.com>
Organization: ENST
X-Mailer: Claws Mail 2.10.0 (GTK+ 2.10.13; i486-pc-linux-gnu)
Mime-Version: 1.0
Content-Type: multipart/signed; boundary="Sig_eUURBHdhFFOXB_5qsGFnO/T";
 protocol="application/pgp-signature"; micalg=PGP-SHA1
Message-Id: <E1I9jvy-0000H9-GZ@kerneis.info>
X-j-chkmail-Score: MSGID : 4698F19D.000 on concorde : j-chkmail score : X : 0/20 1 0.000 -> 1
X-Miltered: at concorde with ID 4698F19D.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; o'caml:01 ocaml:01 haskell:01 ocaml:01 merging:01 plug-in:98 sourceforge:01 sourceforge:01 caml-list:01 anybody:07 seem:08 i'm:09 curious:09 except:10 i've:12 
X-Attachments: type="application/pgp-signature" name="signature.asc" name="signature.asc" 

--Sig_eUURBHdhFFOXB_5qsGFnO/T
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: quoted-printable

Hello everybody,

so we have :
http://ocamldt.free.fr/
http://ocaml.eclipse.ortsa.com:8480/ocaide/
http://sourceforge.net/projects/ocaml-eclipse (Haskell based)
http://eclipsefp.sourceforge.net/ocaml/ (dead ?)
http://ocaml.eclipse.free.fr/ (couldn't find any information about
this one except the url - in french obviously)

Did anybody test some of them ? What about merging the best of each one
in a common plugin ?

I've never used Eclipse but things seem to be moving in the Ocaml
community and I'm curious...

Regards,
--=20
Gabriel

--Sig_eUURBHdhFFOXB_5qsGFnO/T
Content-Type: application/pgp-signature; name=signature.asc
Content-Disposition: attachment; filename=signature.asc

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)

iD8DBQFGmPGb6a2JmXQu5bYRAuJnAJsHZUFsphbn/1lUk1sr+sgs+hNbkgCfT46r
69O45yENfPBKtR1qdGh5CqA=
=YbnH
-----END PGP SIGNATURE-----

--Sig_eUURBHdhFFOXB_5qsGFnO/T--


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.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 A6E27BC6B
	for <caml-list@yquem.inria.fr>; Sat, 14 Jul 2007 18:19:44 +0200 (CEST)
Received: from mu-out-0910.google.com (mu-out-0910.google.com [209.85.134.191])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6EGJiuu029549
	for <caml-list@yquem.inria.fr>; Sat, 14 Jul 2007 18:19:44 +0200
Received: by mu-out-0910.google.com with SMTP id w8so1000581mue
        for <caml-list@yquem.inria.fr>; Sat, 14 Jul 2007 09:19:43 -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=VI2Zn2Ldh3EUTSAQmUIGZkKRx38Be8Nny2BOMrmPi3sA2HdazoRwdOLOIvK+agLnELOmOB+UHF/4FAa8e3irCpwD4IUpp3QNDTLocWmUmHFbxyt9ozB3mkBpxCtEkKpPPFIotZH/3UfbJ3tyen75GePFNiyKF8FYRkne1ozrcNA=
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=huwgnilWE/ck/XuzX4j67KvH+i/BipkCkPdZXQwyJ6kUOjkKtgglkammm4Z0fH+uidbjUYm3XDzsL48p9RkFY1RPJgSos+Y/X2zC+GWeWdD8PwE1C7yvwrh18BLeQ4iT+hgCZ/mh6bo2MK+2zUbeqOELdG3c5RVLxq7DyMJTiwA=
Received: by 10.82.112.16 with SMTP id k16mr3211346buc.1184429983294;
        Sat, 14 Jul 2007 09:19:43 -0700 (PDT)
Received: by 10.82.153.14 with HTTP; Sat, 14 Jul 2007 09:19:43 -0700 (PDT)
Message-ID: <4fbf351c0707140919i7352b6d4wff4a0859e7974bd@mail.gmail.com>
Date: Sat, 14 Jul 2007 18:19:43 +0200
From: "Nicolas Bros" <nicolas.bros@gmail.com>
To: "Gabriel Kerneis" <gabriel.kerneis@enst.fr>
Subject: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml
Cc: caml-list@yquem.inria.fr
In-Reply-To: <E1I9jvy-0000H9-GZ@kerneis.info>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
References: <4fbf351c0707131317u123e2457gc59d85d9378a66c7@mail.gmail.com>
	 <E1I9jvy-0000H9-GZ@kerneis.info>
X-j-chkmail-Score: MSGID : 4698F7A0.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1
X-Miltered: at discorde with ID 4698F7A0.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; o'caml:01 ocaml:01 syntax:01 o'caml:01 plug-in:98 plug-in:98 cvs:01 caml-list:01 compiling:02 tree:02 seems:03 anybody:07 hasn't:08 nicolas:08 nicolas:08 

The last one (http://ocaml.eclipse.free.fr/) is the same as OcaIDE. It
was only a temporary page to test plug-in installation. I updated the
page to redirect to the new site.

> Did anybody test some of them ?

I tested ocamldt, and the basic features (syntax coloring, compiling,
error markers) work well, but it doesn't have as many features as
OcaIDE. I also found that the outline doesn't work on big source
files.

ocaml-eclipse seems to have been aborted right after it started (by
the looks of the cvs source tree)

The O'Caml part of eclipsefp hasn't seen much development in the last
several years, but I have seen that a student is working on improving
it, as a google summer of code project.

Nicolas BROS


From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gabriel.kerneis@enst.fr>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=none 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 D9635BC6C
	for <caml-list@yquem.inria.fr>; Sat, 14 Jul 2007 19:36:49 +0200 (CEST)
Received: from smtp4-g19.free.fr (smtp4-g19.free.fr [212.27.42.30])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6EHanxa009881
	for <caml-list@yquem.inria.fr>; Sat, 14 Jul 2007 19:36:49 +0200
Received: from kerneis.info (kerneis.info [82.224.215.18])
	by smtp4-g19.free.fr (Postfix) with ESMTP id 390696EB99
	for <caml-list@yquem.inria.fr>; Sat, 14 Jul 2007 19:36:49 +0200 (CEST)
Received: from localhost
	([127.0.0.1] helo=tatanka.kerneis.info ident=gabriel)
	by kerneis.info with esmtp (Exim 4.63)
	(envelope-from <gabriel.kerneis@enst.fr>)
	id 1I9lXO-0000NN-4M
	for caml-list@yquem.inria.fr; Sat, 14 Jul 2007 19:36:10 +0200
Date: Sat, 14 Jul 2007 19:36:40 +0200
From: Gabriel Kerneis <gabriel.kerneis@enst.fr>
To: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml
In-Reply-To: <4fbf351c0707140118s3453caccj6ccbe97c1117a4ca@mail.gmail.com>
References: <4fbf351c0707131317u123e2457gc59d85d9378a66c7@mail.gmail.com>
	<46986C0E.5020600@ujf-grenoble.fr>
	<4fbf351c0707140118s3453caccj6ccbe97c1117a4ca@mail.gmail.com>
Organization: ENST
X-Mailer: Claws Mail 2.10.0 (GTK+ 2.10.13; i486-pc-linux-gnu)
Mime-Version: 1.0
Content-Type: multipart/signed; boundary=Sig_wMYS8N6fpJ0nvPvePYI.RVw;
 protocol="application/pgp-signature"; micalg=PGP-SHA1
Message-Id: <E1I9lXO-0000NN-4M@kerneis.info>
X-Miltered: at discorde with ID 469909B1.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; o'caml:01 0200,:01 extensively:01 ocaml:01 ocaml:01 plug-in:98 3.3:98 3.2:98 3.3:98 caml-list:01 gnu:03 debian:04 debian:04 jul:04 pgp:05 

--Sig_wMYS8N6fpJ0nvPvePYI.RVw
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

Le Sat, 14 Jul 2007 10:18:27 +0200, "Nicolas Bros"
<nicolas.bros@gmail.com> a =E9crit :
> > 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.

Doesn't work for me with Debian (unstable) Eclipse 3.2.

"The selected wizard could not be started.=20
Reason : Plugin Ocaml was unable to load class
ocaml.wizards.OcamlNewMakeProjectWizard"

(same for the two other wizards)

And switching to Ocaml perspective fails as well :
"Problem opening perspective".

As well as setting the preferences :
"An error has occurred when creating this preference page."

Too bad, the screenshots look great. I'll give Eclipse 3.3 a try.

Regards,
--=20
Gabriel

--Sig_wMYS8N6fpJ0nvPvePYI.RVw
Content-Type: application/pgp-signature; name=signature.asc
Content-Disposition: attachment; filename=signature.asc

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)

iD4DBQFGmQmv6a2JmXQu5bYRAgdfAJQLX3CMGqop46VSeTttu1nkgSogAKCy981l
zsR6g2cFu+LKFPy2yGYuag==
=mWL3
-----END PGP SIGNATURE-----

--Sig_wMYS8N6fpJ0nvPvePYI.RVw--


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.2 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 11AC9BC6B
	for <caml-list@yquem.inria.fr>; Sat, 14 Jul 2007 19:43:02 +0200 (CEST)
Received: from mu-out-0910.google.com (mu-out-0910.google.com [209.85.134.189])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6EHh1EG011210
	for <caml-list@yquem.inria.fr>; Sat, 14 Jul 2007 19:43:01 +0200
Received: by mu-out-0910.google.com with SMTP id w8so1020534mue
        for <caml-list@yquem.inria.fr>; Sat, 14 Jul 2007 10:43:01 -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=Hkh4xeYs2Mvf3gbxg82bhQC4l9l0Xm3fRFbHGkMqp91C7M2YL6tyZtmErSf1AFvcnVo89XysSXDnplbSGTUnOsydyEtT16ANRJxR/QpdHxnUYcFjLAOr+yISp2PJLH6du6DPnO3cMphOfR8pYjuVyIRabirN8E7BfsOn20IXcZY=
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=Jr54JXCKjAh1krz3RGUVEBxOTtv1T8kC4CsenldiTQVHgP6zY9MMzQwM4XZSdFZ6hrN/MpplGL0ERH62N+r9a6c9oK8cEMV2O4UiWm2phN86L/GVPqG7UPKv9ltJEPQAGMi7/reM5jnI33SG04DrOJS6SjpmStksOfnjmBvkjcw=
Received: by 10.82.189.6 with SMTP id m6mr3281572buf.1184434981326;
        Sat, 14 Jul 2007 10:43:01 -0700 (PDT)
Received: by 10.82.153.14 with HTTP; Sat, 14 Jul 2007 10:43:01 -0700 (PDT)
Message-ID: <4fbf351c0707141043r5a004df1o1c74fcd3c1394a25@mail.gmail.com>
Date: Sat, 14 Jul 2007 19:43:01 +0200
From: "Nicolas Bros" <nicolas.bros@gmail.com>
To: "Gabriel Kerneis" <gabriel.kerneis@enst.fr>
Subject: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml
Cc: caml-list@yquem.inria.fr
In-Reply-To: <E1I9lXO-0000NN-4M@kerneis.info>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
References: <4fbf351c0707131317u123e2457gc59d85d9378a66c7@mail.gmail.com>
	 <46986C0E.5020600@ujf-grenoble.fr>
	 <4fbf351c0707140118s3453caccj6ccbe97c1117a4ca@mail.gmail.com>
	 <E1I9lXO-0000NN-4M@kerneis.info>
X-j-chkmail-Score: MSGID : 46990B25.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1
X-Miltered: at discorde with ID 46990B25.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; o'caml:01 ocaml:01 ocaml:01 plug-in:98 1.6:98 caml-list:01 sun's:02 debian:04 problem:05 jvm:06 jvm:06 nicolas:08 nicolas:08 load:09 unstable:10 

> Doesn't work for me with Debian (unstable) Eclipse 3.2.
>
> "The selected wizard could not be started.
> Reason : Plugin Ocaml was unable to load class
> ocaml.wizards.OcamlNewMakeProjectWizard"

I think this might be a problem with the JVM instead of Eclipse. What
version of the JVM do you have? Is it Sun's latest 1.6? (I have
already seen this kind of errors while using GCJ)


From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gregory.guyomarch@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 E37DCBC69
	for <caml-list@yquem.inria.fr>; Thu, 19 Jul 2007 02:19:55 +0200 (CEST)
Received: from wx-out-0506.google.com (wx-out-0506.google.com [66.249.82.238])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6J0Js6t013200
	for <caml-list@inria.fr>; Thu, 19 Jul 2007 02:19:55 +0200
Received: by wx-out-0506.google.com with SMTP id h28so326389wxd
        for <caml-list@inria.fr>; Wed, 18 Jul 2007 17:19:54 -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=aL3md7qUQoZsJ1kFPNRQWXeOW76qtNGxIZpgbjWuZhG6WBpLYft+V+qSdgIfM+9X1/rZ2Q+f5OgHNWUU38GWBk3wphYRYGkLS7hxp2JCAaxx1cwH+6Ib49QhleMeSYIZgQ+10KKxu62kiDt31x/W+H3u8w7NrHz/24+WWI87F9g=
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=mLdcw5OOCwQ/KTt2wtcDwf6NfOgANKY118k+LpDDAzEjYBprtRfPqVm3kMk+MA7OUbn5Hyw6sdjUnZzVltggSvQO6C3H9PYJrQtv46dMU2ZzMLbZbaTFfdQ92UFoKZQs/dZKj5cDIvxrrKC9Vdu5oOucasXex42B1F/l6/hBRwc=
Received: by 10.90.95.11 with SMTP id s11mr2347374agb.1184804394267;
        Wed, 18 Jul 2007 17:19:54 -0700 (PDT)
Received: by 10.90.36.14 with HTTP; Wed, 18 Jul 2007 17:19:54 -0700 (PDT)
Message-ID: <d6e6530b0707181719v29496247ld799aa96c4f463e4@mail.gmail.com>
Date: Thu, 19 Jul 2007 02:19:54 +0200
From: "=?ISO-8859-1?Q?Gr=E9gory_Guyomarc'h?=" <gregory.guyomarch@gmail.com>
To: caml-list@inria.fr
Subject: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml
In-Reply-To: <E1I9jvy-0000H9-GZ@kerneis.info>
MIME-Version: 1.0
Content-Type: multipart/alternative; 
	boundary="----=_Part_17136_16690377.1184804394226"
References: <4fbf351c0707131317u123e2457gc59d85d9378a66c7@mail.gmail.com>
	 <E1I9jvy-0000H9-GZ@kerneis.info>
X-j-chkmail-Score: MSGID : 469EAE2A.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1
X-Miltered: at discorde with ID 469EAE2A.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; guyomarc'h:01 o'caml:01 ocaml:01 makefile:01 ocaml:01 debugger:01 makefile:01 afaik:01 debugger:01 afaik:01 plug-in:98 3.2:98 3.3:98 1.6:98 3.2:98 

------=_Part_17136_16690377.1184804394226
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

On 7/14/07, Gabriel Kerneis <gabriel.kerneis@enst.fr> wrote:
>
> Hello everybody,
>
> so we have :
> http://ocamldt.free.fr/
> http://ocaml.eclipse.ortsa.com:8480/ocaide/


I just tested it on a small toy project and it is by far the best I have
seen, it is actually very usable. One thing in particular that I like is
that it does not necessarily rely on a builtin engine  within the plugin to
compile your projects but can use a simple makefile instead. This way of
cleanly  separating the building process allows you to use another great
development tool: ocamlbuild for building (provided you don't mind managing
the ocamlbuild files to configure your project instead of using the plugin
managed ocaml projects).

I have a few remark though:

- i could not find a way to configure the ocaml debugger: i use it a lot and
some of my code requires deactivating checkpoints, or it would just eats up
memory. Otherwise debugging through ocaide works very well.

- OcaIDE does not look in ocamlbuild _build directory for .annot files, it's
ok since i can put commands in the Makefile to copy the files in their
expected locations after a build, but it would be nice to have this.

- I am not sure what Project references are for, i understand it would
automatically ask you if you want to open the referred projects when opening
the main project, but can it also issue a build for the referred projects
when necessary (like projects in a Visual Studio solution) ? AFAIK this
configurations is not mentioned in the documentation.

- I could not make it work with eclipse 3.2 but it works fine with 3.3 + Sun
JVM 1.6

Anyway, great work!

Gregory

------=_Part_17136_16690377.1184804394226
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

<br><br><div><span class="gmail_quote">On 7/14/07, <b class="gmail_sendername">Gabriel Kerneis</b> &lt;<a href="mailto:gabriel.kerneis@enst.fr" target="_blank" onclick="return top.js.OpenExtLink(window,event,this)">gabriel.kerneis@enst.fr
</a>&gt; wrote:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Hello everybody,<br><br>so we have :<br><a href="http://ocamldt.free.fr/" target="_blank" onclick="return top.js.OpenExtLink(window,event,this)">http://ocamldt.free.fr/</a><br><a href="http://ocaml.eclipse.ortsa.com:8480/ocaide/" target="_blank" onclick="return top.js.OpenExtLink(window,event,this)">
http://ocaml.eclipse.ortsa.com:8480/ocaide/</a></blockquote><div>
<br>I just tested it on a small toy project and it is by far the best I have seen, it is actually very usable. One thing in particular that I like is that it does not necessarily rely on a builtin engine&nbsp; within the plugin to compile your projects but can use a simple makefile instead. This way of cleanly&nbsp; separating the building process allows you to use another great development tool: ocamlbuild for building (provided you don&#39;t mind managing the ocamlbuild files to configure your project instead of using the plugin managed ocaml projects).
<br><br>I have a few remark though:<br><br>- i could not find a way to configure the ocaml debugger: i use it a lot and some of my code requires deactivating checkpoints, or it would just eats up memory. Otherwise debugging through ocaide works very well.
<br><br>- OcaIDE does not look in ocamlbuild _build directory for .annot files, it&#39;s ok since i can put commands in the Makefile to copy the files in their expected locations after a build, but it would be nice to have this.
<br><br>- I am not sure what Project references are for, i understand it would automatically ask you if you want to open the referred projects when opening the main project, but can it also issue a build for the referred projects when necessary (like projects in a Visual Studio solution) ? AFAIK this configurations is not mentioned in the documentation.
<br><br>- I could not make it work with eclipse 3.2 but it works fine with 3.3 + Sun JVM 1.6<br><br>Anyway, great work!<br><br>Gregory<br></div></div><br>

------=_Part_17136_16690377.1184804394226--


From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <unfalkster@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 526BFBC6C
	for <caml-list@yquem.inria.fr>; Thu, 19 Jul 2007 09:09:59 +0200 (CEST)
Received: from nz-out-0506.google.com (nz-out-0506.google.com [64.233.162.237])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6J79vJl016556
	for <caml-list@inria.fr>; Thu, 19 Jul 2007 09:09:58 +0200
Received: by nz-out-0506.google.com with SMTP id z3so388896nzf
        for <caml-list@inria.fr>; Thu, 19 Jul 2007 00:09: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:references;
        b=nn330t7icLuDjvnojoae+q6+TnLDTBAZnQ8oVu0UbnM9ZB/rIHqa+XcFFgp2VwLy747ZSrKrkGikHG5d91DOfw9rBgo2+52SCSxrodhCTwGAGlBYk516DZAFx3ed//Wb45zIPu4KlKuJ4YY3Vt7nbpHPijiiH5vcpQvaFgp1j+0=
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:references;
        b=hCNDpVk667EP6A8qWgRvFSeFCAckXdBcgkAPbdjlVSLE2LOanmbYZ1KSJzj7A+y/8pi9OGakSEOzoIXaXt/j+LJcFZFOyNMvE6DsHd83jeu5FSyYwluWphw6sN2phDmslP20SqCtvlJUyhKzGrGiIoMlX/trfANb9cSWaedTTgM=
Received: by 10.114.210.2 with SMTP id i2mr2300162wag.1184828996425;
        Thu, 19 Jul 2007 00:09:56 -0700 (PDT)
Received: by 10.114.191.3 with HTTP; Thu, 19 Jul 2007 00:09:56 -0700 (PDT)
Message-ID: <710e3f920707190009u5554e576qc11d0e8341c8cc59@mail.gmail.com>
Date: Thu, 19 Jul 2007 09:09:56 +0200
From: Rafael <unfalkster@gmail.com>
To: "=?ISO-8859-1?Q?Gr=E9gory_Guyomarc'h?=" <gregory.guyomarch@gmail.com>
Subject: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml
Cc: caml-list@inria.fr
In-Reply-To: <d6e6530b0707181719v29496247ld799aa96c4f463e4@mail.gmail.com>
MIME-Version: 1.0
Content-Type: multipart/alternative; 
	boundary="----=_Part_106012_1713668.1184828996395"
References: <4fbf351c0707131317u123e2457gc59d85d9378a66c7@mail.gmail.com>
	 <E1I9jvy-0000H9-GZ@kerneis.info>
	 <d6e6530b0707181719v29496247ld799aa96c4f463e4@mail.gmail.com>
X-j-chkmail-Score: MSGID : 469F0E45.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1
X-Miltered: at discorde with ID 469F0E45.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; o'caml:01 debugger:01 guyomarc'h:01 ocaml:01 makefile:01 ocaml:01 debugger:01 makefile:01 afaik:01 beginner's:01 bug:01 guyomarc'h:01 afaik:01 beginner's:01 bug:01 

------=_Part_106012_1713668.1184828996395
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline

Hello everybody !
About ocamlbuild : unfortunately, this (wonderfull) tool came out when the
development of the plug-in was almost finished, so we can only plan to
incorporate it in a future version (maybe...). I think we can do something
about the _build directory.

For project references, I don't know also what it is for, and we don't use
it in the plug-in.

About the debugger,  I thought there was no problem to desactivate
checkpoints but if you say it... We will have to wait a few days until the
person who developed it came back..

Thanks!

Rafael


On 7/19/07, Gr=E9gory Guyomarc'h <gregory.guyomarch@gmail.com> wrote:
>
>
>
> On 7/14/07, Gabriel Kerneis <gabriel.kerneis@enst.fr > wrote:
> >
> > Hello everybody,
> >
> > so we have :
> > http://ocamldt.free.fr/
> > http://ocaml.eclipse.ortsa.com:8480/ocaide/
>
>
> I just tested it on a small toy project and it is by far the best I have
> seen, it is actually very usable. One thing in particular that I like is
> that it does not necessarily rely on a builtin engine  within the plugin =
to
> compile your projects but can use a simple makefile instead. This way of
> cleanly  separating the building process allows you to use another great
> development tool: ocamlbuild for building (provided you don't mind managi=
ng
> the ocamlbuild files to configure your project instead of using the plugi=
n
> managed ocaml projects).
>
> I have a few remark though:
>
> - i could not find a way to configure the ocaml debugger: i use it a lot
> and some of my code requires deactivating checkpoints, or it would just e=
ats
> up memory. Otherwise debugging through ocaide works very well.
>
> - OcaIDE does not look in ocamlbuild _build directory for .annot files,
> it's ok since i can put commands in the Makefile to copy the files in the=
ir
> expected locations after a build, but it would be nice to have this.
>
> - I am not sure what Project references are for, i understand it would
> automatically ask you if you want to open the referred projects when open=
ing
> the main project, but can it also issue a build for the referred projects
> when necessary (like projects in a Visual Studio solution) ? AFAIK this
> configurations is not mentioned in the documentation.
>
> - I could not make it work with eclipse 3.2 but it works fine with 3.3 +
> Sun JVM 1.6
>
> Anyway, great work!
>
> Gregory
>
>
>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
>

------=_Part_106012_1713668.1184828996395
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline

<div>Hello everybody !</div>
<div>About ocamlbuild : unfortunately, this (wonderfull)&nbsp;tool came out=
 when the development of the plug-in was almost finished, so we can only pl=
an&nbsp;to incorporate it in a future version&nbsp;(maybe...). I think we c=
an do something about the _build directory.
</div>
<div>&nbsp;</div>
<div>For project references, I don&#39;t know also what it is for, and we d=
on&#39;t&nbsp;use it&nbsp;in the plug-in.</div>
<div>&nbsp;</div>
<div>About the debugger,&nbsp; I thought there was no problem to desactivat=
e checkpoints but if you say it...&nbsp;We will have to wait&nbsp;a few day=
s until the person who developed it came back..</div>
<div>&nbsp;</div>
<div>Thanks!</div>
<div>&nbsp;</div>
<div>Rafael&nbsp;<br><br>&nbsp;</div>
<div><span class=3D"gmail_quote">On 7/19/07, <b class=3D"gmail_sendername">=
Gr=E9gory Guyomarc&#39;h</b> &lt;<a href=3D"mailto:gregory.guyomarch@gmail.=
com">gregory.guyomarch@gmail.com</a>&gt; wrote:</span>
<blockquote class=3D"gmail_quote" style=3D"PADDING-LEFT: 1ex; MARGIN: 0px 0=
px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid"><br><br>
<div><span class=3D"gmail_quote">On 7/14/07, <b class=3D"gmail_sendername">=
Gabriel Kerneis</b> &lt;<a onclick=3D"return top.js.OpenExtLink(window,even=
t,this)" href=3D"mailto:gabriel.kerneis@enst.fr" target=3D"_blank">gabriel.=
kerneis@enst.fr=20
</a>&gt; wrote:</span>=20
<blockquote class=3D"gmail_quote" style=3D"PADDING-LEFT: 1ex; MARGIN: 0pt 0=
pt 0pt 0.8ex; BORDER-LEFT: rgb(204,204,204) 1px solid">Hello everybody,<br>=
<br>so we have :<br><a onclick=3D"return top.js.OpenExtLink(window,event,th=
is)" href=3D"http://ocamldt.free.fr/" target=3D"_blank">
http://ocamldt.free.fr/</a><br><a onclick=3D"return top.js.OpenExtLink(wind=
ow,event,this)" href=3D"http://ocaml.eclipse.ortsa.com:8480/ocaide/" target=
=3D"_blank">http://ocaml.eclipse.ortsa.com:8480/ocaide/</a></blockquote>
<div><br>I just tested it on a small toy project and it is by far the best =
I have seen, it is actually very usable. One thing in particular that I lik=
e is that it does not necessarily rely on a builtin engine&nbsp; within the=
 plugin to compile your projects but can use a simple makefile instead. Thi=
s way of cleanly&nbsp; separating the building process allows you to use an=
other great development tool: ocamlbuild for building (provided you don&#39=
;t mind managing the ocamlbuild files to configure your project instead of =
using the plugin managed ocaml projects).=20
<br><br>I have a few remark though:<br><br>- i could not find a way to conf=
igure the ocaml debugger: i use it a lot and some of my code requires deact=
ivating checkpoints, or it would just eats up memory. Otherwise debugging t=
hrough ocaide works very well.=20
<br><br>- OcaIDE does not look in ocamlbuild _build directory for .annot fi=
les, it&#39;s ok since i can put commands in the Makefile to copy the files=
 in their expected locations after a build, but it would be nice to have th=
is.=20
<br><br>- I am not sure what Project references are for, i understand it wo=
uld automatically ask you if you want to open the referred projects when op=
ening the main project, but can it also issue a build for the referred proj=
ects when necessary (like projects in a Visual Studio solution) ? AFAIK thi=
s configurations is not mentioned in the documentation.=20
<br><br>- I could not make it work with eclipse 3.2 but it works fine with =
3.3 + Sun JVM 1.6<br><br>Anyway, great work!<br><br>Gregory<br>&nbsp;</div>=
</div><br><br>_______________________________________________<br>Caml-list =
mailing list. Subscription management:
<br><a onclick=3D"return top.js.OpenExtLink(window,event,this)" href=3D"htt=
p://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list" target=3D"_blank">ht=
tp://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list</a><br>Archives: <a =
onclick=3D"return top.js.OpenExtLink(window,event,this)" href=3D"http://cam=
l.inria.fr/" target=3D"_blank">
http://caml.inria.fr</a><br>Beginner&#39;s list: <a onclick=3D"return top.j=
s.OpenExtLink(window,event,this)" href=3D"http://groups.yahoo.com/group/oca=
ml_beginners" target=3D"_blank">http://groups.yahoo.com/group/ocaml_beginne=
rs
</a><br>Bug reports: <a onclick=3D"return top.js.OpenExtLink(window,event,t=
his)" href=3D"http://caml.inria.fr/bin/caml-bugs" target=3D"_blank">http://=
caml.inria.fr/bin/caml-bugs</a><br><br></blockquote></div><br>

------=_Part_106012_1713668.1184828996395--


From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <christophe.raffalli@univ-savoie.fr>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=AWL 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 F15B4BC69
	for <caml-list@yquem.inria.fr>; Thu, 19 Jul 2007 11:39:48 +0200 (CEST)
Received: from net.univ-savoie.fr (net.univ-savoie.fr [193.48.120.75])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6J9dm0B013446
	(version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO)
	for <caml-list@yquem.inria.fr>; Thu, 19 Jul 2007 11:39:48 +0200
Received: from post.bourget.univ-savoie.fr (post.bourget.univ-savoie.fr [193.48.120.73])
          by net.univ-savoie.fr (8.12.3/jtpda-5.4) with ESMTP id l6J9dgGO026678
          ; Thu, 19 Jul 2007 11:39:42 +0200
Received: from [193.48.123.45] (d45.lama.univ-savoie.fr [193.48.123.45])
          by post.bourget.univ-savoie.fr (8.12.3/jtpda-5.4) with ESMTP id l6J9dera012681
          ; Thu, 19 Jul 2007 11:39:40 +0200
Message-ID: <469F3160.3020902@univ-savoie.fr>
Date: Thu, 19 Jul 2007 11:39:44 +0200
From: Christophe Raffalli <christophe.raffalli@univ-savoie.fr>
User-Agent: Thunderbird 1.5.0.10 (X11/20070403)
MIME-Version: 1.0
To: Nicolas Bros <nicolas.bros@gmail.com>
Cc: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml
References: <4fbf351c0707131317u123e2457gc59d85d9378a66c7@mail.gmail.com>
In-Reply-To: <4fbf351c0707131317u123e2457gc59d85d9378a66c7@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Scanned-By: MIMEDefang 2.33 (www . roaringpenguin . com / mimedefang)
X-Miltered: at discorde with ID 469F3164.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; christophe:01 raffalli:01 christophe:01 raffalli:01 univ-savoie:01 o'caml:01 'test':01 cheers:01 chablais:01 73376:01 univ-savoie:01 plug-in:98 lama:01 incompatible:01 caml-list:01 


Dear list members,

I just tested OcalIDE. This is really nice, and I think I only discovered a tenth of what it offers. 
I have just two questions/problems:

- Is it possible to limit the outline to function with a name longer than a given size (let's say 2 
or 3)

- I use darcs, there is an eclipsedarcs project, but it seems incompatible with OCalIDE, the message 
being:
Project 'test' contains linked URIs but the'org.eclipsedarcs.core.repository.DarcsProvider' 
repository provider does not supported them.

Any Idea to overcome this two problems (especially the second one) ?

Cheers,
-- 
Christophe Raffalli
Université de Savoie
Batiment Le Chablais, bureau 21
73376 Le Bourget-du-Lac Cedex

tél: (33) 4 79 75 81 03
fax: (33) 4 79 75 87 42
mail: Christophe.Raffalli@univ-savoie.fr
www: http://www.lama.univ-savoie.fr/~RAFFALLI


From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <unfalkster@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 89779BC69
	for <caml-list@yquem.inria.fr>; Thu, 19 Jul 2007 11:51:31 +0200 (CEST)
Received: from wa-out-1112.google.com (wa-out-1112.google.com [209.85.146.182])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6J9pU5l015830
	for <caml-list@yquem.inria.fr>; Thu, 19 Jul 2007 11:51:30 +0200
Received: by wa-out-1112.google.com with SMTP id j37so596759waf
        for <caml-list@yquem.inria.fr>; Thu, 19 Jul 2007 02:51:29 -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:references;
        b=HbkJsMq7Zm+IwOX3o8THFV/G3k4UCLL6gzYmQAjSpiEkSK+2DVDx6N3Oyht/mgqh4a73zm0XuD6akq4rxpEDjA6aeVE0GGbTGkTsRPIvqnIsWIQIe3e2Ub3xnCHeAgmtyyHweTVqjPSznAOjsgu/GnDlBc2vglQDGKyiTfcNE2A=
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:references;
        b=epyh9adi1hp3EX3ZEC/XcuomUdTj/h1t8mqM41fcNlZL5OoM3eJR9VuMRy7AqRflT9M7ZHyXOsHh37dsTRJuPttb2YuGktw7GG91yGxHnSKkYPw8q4B+QEfpVtrkA8ygjrU/FoiGnwrMFFM8JiCq8lQVPAa35a1btOK9yGhNnuU=
Received: by 10.115.90.1 with SMTP id s1mr2415642wal.1184838689416;
        Thu, 19 Jul 2007 02:51:29 -0700 (PDT)
Received: by 10.114.191.3 with HTTP; Thu, 19 Jul 2007 02:51:29 -0700 (PDT)
Message-ID: <710e3f920707190251q31457e1ajae0b1b6313fd7b97@mail.gmail.com>
Date: Thu, 19 Jul 2007 11:51:29 +0200
From: Rafael <unfalkster@gmail.com>
To: "Christophe Raffalli" <christophe.raffalli@univ-savoie.fr>
Subject: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml
Cc: "Nicolas Bros" <nicolas.bros@gmail.com>, caml-list@yquem.inria.fr
In-Reply-To: <469F3160.3020902@univ-savoie.fr>
MIME-Version: 1.0
Content-Type: multipart/alternative; 
	boundary="----=_Part_107020_10442552.1184838689379"
References: <4fbf351c0707131317u123e2457gc59d85d9378a66c7@mail.gmail.com>
	 <469F3160.3020902@univ-savoie.fr>
X-j-chkmail-Score: MSGID : 469F3422.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1
X-Miltered: at discorde with ID 469F3422.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; o'caml:01 christophe:01 raffalli:01 christophe:01 raffalli:01 univ-savoie:01 'test':01 cheers:01 chablais:01 73376:01 univ-savoie:01 beginner's:01 ocaml:01 bug:01 'test':01 

------=_Part_107020_10442552.1184838689379
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline

Hello,
If I had understood, you wish the outline to display only the names longer
than a given size ? In order to "filter" the results ?

I'm sorry, I don't know anything about darcs, and we don't test the plug-in
with this... But we will see what we can do.
Thanks,

Rafael


On 7/19/07, Christophe Raffalli <christophe.raffalli@univ-savoie.fr> wrote:
>
>
> Dear list members,
>
> I just tested OcalIDE. This is really nice, and I think I only discovered
> a tenth of what it offers.
> I have just two questions/problems:
>
> - Is it possible to limit the outline to function with a name longer than
> a given size (let's say 2
> or 3)
>
> - I use darcs, there is an eclipsedarcs project, but it seems incompatibl=
e
> with OCalIDE, the message
> being:
> Project 'test' contains linked URIs but the'
> org.eclipsedarcs.core.repository.DarcsProvider'
> repository provider does not supported them.
>
> Any Idea to overcome this two problems (especially the second one) ?
>
> Cheers,
> --
> Christophe Raffalli
> Universit=E9 de Savoie
> Batiment Le Chablais, bureau 21
> 73376 Le Bourget-du-Lac Cedex
>
> t=E9l: (33) 4 79 75 81 03
> fax: (33) 4 79 75 87 42
> mail: Christophe.Raffalli@univ-savoie.fr
> www: http://www.lama.univ-savoie.fr/~RAFFALLI
>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>

------=_Part_107020_10442552.1184838689379
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline

<div>Hello,</div>
<div>If I had understood, you wish the outline to display only the names lo=
nger than a given size ? In order to &quot;filter&quot; the results ?</div>
<div>&nbsp;</div>
<div>I&#39;m sorry, I don&#39;t know anything about darcs, and we don&#39;t=
 test the plug-in with this... But we will see what we can do.</div>
<div>Thanks,</div>
<div>&nbsp;</div>
<div>Rafael<br><br>&nbsp;</div>
<div><span class=3D"gmail_quote">On 7/19/07, <b class=3D"gmail_sendername">=
Christophe Raffalli</b> &lt;<a href=3D"mailto:christophe.raffalli@univ-savo=
ie.fr">christophe.raffalli@univ-savoie.fr</a>&gt; wrote:</span>
<blockquote class=3D"gmail_quote" style=3D"PADDING-LEFT: 1ex; MARGIN: 0px 0=
px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid"><br>Dear list members,<br><br>I =
just tested OcalIDE. This is really nice, and I think I only discovered a t=
enth of what it offers.
<br>I have just two questions/problems:<br><br>- Is it possible to limit th=
e outline to function with a name longer than a given size (let&#39;s say 2=
<br>or 3)<br><br>- I use darcs, there is an eclipsedarcs project, but it se=
ems incompatible with OCalIDE, the message
<br>being:<br>Project &#39;test&#39; contains linked URIs but the&#39;org.e=
clipsedarcs.core.repository.DarcsProvider&#39;<br>repository provider does =
not supported them.<br><br>Any Idea to overcome this two problems (especial=
ly the second one) ?
<br><br>Cheers,<br>--<br>Christophe Raffalli<br>Universit=E9 de Savoie<br>B=
atiment Le Chablais, bureau 21<br>73376 Le Bourget-du-Lac Cedex<br><br>t=E9=
l: (33) 4 79 75 81 03<br>fax: (33) 4 79 75 87 42<br>mail: <a href=3D"mailto=
:Christophe.Raffalli@univ-savoie.fr">
Christophe.Raffalli@univ-savoie.fr</a><br>www: <a href=3D"http://www.lama.u=
niv-savoie.fr/~RAFFALLI">http://www.lama.univ-savoie.fr/~RAFFALLI</a><br><b=
r>_______________________________________________<br>Caml-list mailing list=
. Subscription management:
<br><a href=3D"http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list">ht=
tp://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list</a><br>Archives: <a =
href=3D"http://caml.inria.fr">http://caml.inria.fr</a><br>Beginner&#39;s li=
st:=20
<a href=3D"http://groups.yahoo.com/group/ocaml_beginners">http://groups.yah=
oo.com/group/ocaml_beginners</a><br>Bug reports: <a href=3D"http://caml.inr=
ia.fr/bin/caml-bugs">http://caml.inria.fr/bin/caml-bugs</a><br></blockquote=
>
</div><br>

------=_Part_107020_10442552.1184838689379--


From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gabriel.kerneis@enst.fr>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled 
	version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39])
	by yquem.inria.fr (Postfix) with ESMTP id 6E120BC69
	for <caml-list@yquem.inria.fr>; Thu, 19 Jul 2007 12:00:06 +0200 (CEST)
Received: from smtp4-g19.free.fr (smtp4-g19.free.fr [212.27.42.30])
	by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6JA06Gx007512
	for <caml-list@yquem.inria.fr>; Thu, 19 Jul 2007 12:00:06 +0200
Received: from kerneis.info (kerneis.info [82.224.215.18])
	by smtp4-g19.free.fr (Postfix) with ESMTP id EE2D06F316
	for <caml-list@yquem.inria.fr>; Thu, 19 Jul 2007 12:00:05 +0200 (CEST)
Received: from localhost.lan
	([127.0.0.1] helo=tatanka.kerneis.info ident=gabriel)
	by kerneis.info with esmtp (Exim 4.63)
	(envelope-from <gabriel.kerneis@enst.fr>)
	id 1IBSnl-0001jk-9Y
	for caml-list@yquem.inria.fr; Thu, 19 Jul 2007 12:00:05 +0200
Date: Thu, 19 Jul 2007 12:00:05 +0200
From: Gabriel Kerneis <gabriel.kerneis@enst.fr>
To: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml
In-Reply-To: <710e3f920707190251q31457e1ajae0b1b6313fd7b97@mail.gmail.com>
References: <4fbf351c0707131317u123e2457gc59d85d9378a66c7@mail.gmail.com>
	<469F3160.3020902@univ-savoie.fr>
	<710e3f920707190251q31457e1ajae0b1b6313fd7b97@mail.gmail.com>
Organization: ENST
X-Mailer: Claws Mail 2.10.0 (GTK+ 2.10.13; i486-pc-linux-gnu)
Mime-Version: 1.0
Content-Type: multipart/signed; boundary="Sig_TjyT829osggJMObjStsN=YS";
 protocol="application/pgp-signature"; micalg=PGP-SHA1
Message-Id: <E1IBSnl-0001jk-9Y@kerneis.info>
X-Miltered: at concorde with ID 469F3626.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; o'caml:01 0200,:01 plug-in:98 rafael:98 caml-list:01 let:03 let:03 size:95 jul:05 thu:05 ecrit:06 probably:07 mostly:11 understood:12 things:13 
X-Attachments: type="application/pgp-signature" name="signature.asc" name="signature.asc" 

--Sig_TjyT829osggJMObjStsN=YS
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

Le Thu, 19 Jul 2007 11:51:29 +0200, Rafael <unfalkster@gmail.com> a
=E9crit :
> Hello,
> If I had understood, you wish the outline to display only the names
> longer than a given size ? In order to "filter" the results ?

Probably to prevent things like :=20
let f =3D ... in let aux =3D ...
from being displayed, as they are mostly not significant.

Regards,
--=20
Gabriel

--Sig_TjyT829osggJMObjStsN=YS
Content-Type: application/pgp-signature; name=signature.asc
Content-Disposition: attachment; filename=signature.asc

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)

iD8DBQFGnzYl6a2JmXQu5bYRAhbBAJ9Bd99cdhslxeZE9NWDSoBOZyGfngCdFNRK
9+6sKjogvvhUipum+jW7YRY=
=niXE
-----END PGP SIGNATURE-----

--Sig_TjyT829osggJMObjStsN=YS--


From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <hmf@inescporto.pt>
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=AWL,MISSING_HEADERS,
	SPF_SOFTFAIL 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 D5CD2BC6C
	for <caml-list@yquem.inria.fr>; Thu, 19 Jul 2007 12:02:42 +0200 (CEST)
Received: from animal.inescn.pt (ns.inescn.pt [192.35.246.1])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6JA2fi3018301
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO)
	for <caml-list@yquem.inria.fr>; Thu, 19 Jul 2007 12:02:42 +0200
Received: from localhost (localhost [127.0.0.1])
	by animal.inescn.pt (8.13.8/8.13.6/9) with ESMTP id l6JA2eEM003407
	for <caml-list@yquem.inria.fr>; Thu, 19 Jul 2007 11:02:40 +0100 (WEST)
X-Virus-Scanned: amavisd-new at inescporto.pt
Received: from animal.inescn.pt ([127.0.0.1])
	by localhost (animal.inescn.pt [127.0.0.1]) (amavisd-new, port 10024)
	with LMTP id JuQVbfjEwfkW for <caml-list@yquem.inria.fr>;
	Thu, 19 Jul 2007 11:02:21 +0100 (WEST)
Received: from [194.117.30.94] (morfina.inescn.pt [194.117.30.94])
	by animal.inescn.pt (8.13.8/8.13.8/11) with ESMTP id l6JA2Fnt003341
	for <caml-list@yquem.inria.fr>; Thu, 19 Jul 2007 11:02:16 +0100 (WEST)
Message-ID: <469F36A7.3040601@inescporto.pt>
Date: Thu, 19 Jul 2007 11:02:15 +0100
From: Hugo Ferreira <hmf@inescporto.pt>
User-Agent: Thunderbird 2.0.0.4 (X11/20070618)
MIME-Version: 1.0
Cc: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml
References: <4fbf351c0707131317u123e2457gc59d85d9378a66c7@mail.gmail.com> <469F3160.3020902@univ-savoie.fr>
In-Reply-To: <469F3160.3020902@univ-savoie.fr>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
X-j-chkmail-Score: MSGID : 469F36C1.001 on discorde : j-chkmail score : XX : 5/20 0 0.000 -> 2
X-Miltered: at discorde with ID 469F36C1.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; o'caml:01 christophe:01 christophe:01 raffalli:01 'test':01 cheers:01 plug-in:98 plug-in:98 wrote:01 incompatible:01 caml-list:01 supported:02 seems:03 seems:03 repository:03 

Hello Christophe,

Christophe Raffalli wrote:
> 
> Dear list members,
> 
> I just tested OcalIDE. This is really nice, and I think I only
> discovered a tenth of what it offers. I have just two questions/problems:
> 
> - Is it possible to limit the outline to function with a name longer
> than a given size (let's say 2 or 3)
> 
> - I use darcs, there is an eclipsedarcs project, but it seems
> incompatible with OCalIDE, the message being:
> Project 'test' contains linked URIs but
> the'org.eclipsedarcs.core.repository.DarcsProvider' repository provider
> does not supported them.
> 
> Any Idea to overcome this two problems (especially the second one) ?
> 

Don't know if this will help but the last issue looks a bit like
something I have experienced with SVN (Subversion). I don't think it has
anything to do with the OcalIDE plug-in. Did you create a local or
remote repository (don't know if this makes sense in darcs). It seems
like the darcs plug-in does not allow for remote access to remote
repositories.

Just to test this, create a Java project and see if you have the same
problem.

HTHs,
Hugo F.






> Cheers,


From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <unfalkster@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.0 required=5.0 tests=AWL,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 4F32FBC69
	for <caml-list@yquem.inria.fr>; Thu, 19 Jul 2007 12:09:59 +0200 (CEST)
Received: from nz-out-0506.google.com (nz-out-0506.google.com [64.233.162.236])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6JA9wTI019752
	for <caml-list@yquem.inria.fr>; Thu, 19 Jul 2007 12:09:58 +0200
Received: by nz-out-0506.google.com with SMTP id x7so397980nzc
        for <caml-list@yquem.inria.fr>; Thu, 19 Jul 2007 03:09:58 -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:references;
        b=BQuJ6khytdf9aSkqOR8yLMF9ouZ4mR6HGEKKwZG4jitVY7OzoY2Sksv2WDpEB1PY6IugKRxJbuoXuo5VQ3XAiICDFU/I6AfWO4ZgVwm89CroKdSH8INRTMDDUvrpvQLiaoWDHj41gxF4tGGxtk15wNQNNm6XzgLKyKkzrTMTlyo=
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:references;
        b=rkiP2SmNl9I2ZA1dtmPFWmk72TrHxUK6vBLZ6WRu305NJ7AEFl/mr8+xGs8gUkfxWkdPkKK+dxwnIkmS6vqRgfonWAnDLHE6OKHt4fHH/Z6cHSJMobrUk6eZbufakzfUfFToxZV+my4GNWIv6zgCbG6r3Tjtd24oZnNCgjN2q/o=
Received: by 10.114.24.1 with SMTP id 1mr2417345wax.1184839796699;
        Thu, 19 Jul 2007 03:09:56 -0700 (PDT)
Received: by 10.114.191.3 with HTTP; Thu, 19 Jul 2007 03:09:56 -0700 (PDT)
Message-ID: <710e3f920707190309j68e160acv4fd461e1c19b13ac@mail.gmail.com>
Date: Thu, 19 Jul 2007 12:09:56 +0200
From: Rafael <unfalkster@gmail.com>
To: "Gabriel Kerneis" <gabriel.kerneis@enst.fr>
Subject: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml
Cc: caml-list@yquem.inria.fr
In-Reply-To: <E1IBSnl-0001jk-9Y@kerneis.info>
MIME-Version: 1.0
Content-Type: multipart/alternative; 
	boundary="----=_Part_107093_21373597.1184839796410"
References: <4fbf351c0707131317u123e2457gc59d85d9378a66c7@mail.gmail.com>
	 <469F3160.3020902@univ-savoie.fr>
	 <710e3f920707190251q31457e1ajae0b1b6313fd7b97@mail.gmail.com>
	 <E1IBSnl-0001jk-9Y@kerneis.info>
X-j-chkmail-Score: MSGID : 469F3876.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1
X-Miltered: at discorde with ID 469F3876.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; o'caml:01 0200,:01 beginner's:01 ocaml:01 bug:01 0200,:01 beginner's:01 ocaml:01 bug:01 rafael:98 plug-in:98 rafael:98 beginners:01 beginners:01 wrote:01 

------=_Part_107093_21373597.1184839796410
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline

On 7/19/07, Gabriel Kerneis <gabriel.kerneis@enst.fr> wrote:
>
> Le Thu, 19 Jul 2007 11:51:29 +0200, Rafael <unfalkster@gmail.com> a
> =E9crit :
> > Hello,
> > If I had understood, you wish the outline to display only the names
> > longer than a given size ? In order to "filter" the results ?
>
> Probably to prevent things like :
> let f =3D ... in let aux =3D ...
> from being displayed, as they are mostly not significant.


It's a good idea, we could use it, thanks!

Regards,
> --
> Gabriel
>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
>
>

------=_Part_107093_21373597.1184839796410
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline

<br><br>
<div><span class=3D"gmail_quote">On 7/19/07, <b class=3D"gmail_sendername">=
Gabriel Kerneis</b> &lt;<a href=3D"mailto:gabriel.kerneis@enst.fr">gabriel.=
kerneis@enst.fr</a>&gt; wrote:</span>
<blockquote class=3D"gmail_quote" style=3D"PADDING-LEFT: 1ex; MARGIN: 0px 0=
px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">Le Thu, 19 Jul 2007 11:51:29 +02=
00, Rafael &lt;<a href=3D"mailto:unfalkster@gmail.com">unfalkster@gmail.com=
</a>
&gt; a<br>=E9crit :<br>&gt; Hello,<br>&gt; If I had understood, you wish th=
e outline to display only the names<br>&gt; longer than a given size ? In o=
rder to &quot;filter&quot; the results ?<br><br>Probably to prevent things =
like :
<br>let f =3D ... in let aux =3D ...<br>from being displayed, as they are m=
ostly not significant.</blockquote>
<div>&nbsp;</div>
<div>It&#39;s a good idea, we could use it, thanks! </div><br>
<blockquote class=3D"gmail_quote" style=3D"PADDING-LEFT: 1ex; MARGIN: 0px 0=
px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">Regards,<br>--<br>Gabriel<br><br=
>_______________________________________________<br>Caml-list mailing list.=
 Subscription management:
<br><a href=3D"http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list">ht=
tp://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list</a><br>Archives: <a =
href=3D"http://caml.inria.fr">http://caml.inria.fr</a><br>Beginner&#39;s li=
st:=20
<a href=3D"http://groups.yahoo.com/group/ocaml_beginners">http://groups.yah=
oo.com/group/ocaml_beginners</a><br>Bug reports: <a href=3D"http://caml.inr=
ia.fr/bin/caml-bugs">http://caml.inria.fr/bin/caml-bugs</a><br><br><br></bl=
ockquote>
</div><br>

------=_Part_107093_21373597.1184839796410--


From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <christophe.raffalli@univ-savoie.fr>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled 
	version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39])
	by yquem.inria.fr (Postfix) with ESMTP id C7AEEBC69
	for <caml-list@yquem.inria.fr>; Thu, 19 Jul 2007 13:55:03 +0200 (CEST)
Received: from net.univ-savoie.fr (net.univ-savoie.fr [193.48.120.75])
	by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6JBt3GT005506
	(version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO)
	for <caml-list@yquem.inria.fr>; Thu, 19 Jul 2007 13:55:03 +0200
Received: from post.bourget.univ-savoie.fr (post.bourget.univ-savoie.fr [193.48.120.73])
          by net.univ-savoie.fr (8.12.3/jtpda-5.4) with ESMTP id l6JBt0GO027695
          ; Thu, 19 Jul 2007 13:55:00 +0200
Received: from [193.48.123.45] (d45.lama.univ-savoie.fr [193.48.123.45])
          by post.bourget.univ-savoie.fr (8.12.3/jtpda-5.4) with ESMTP id l6JBsura017895
          ; Thu, 19 Jul 2007 13:54:56 +0200
Message-ID: <469F5115.5040204@univ-savoie.fr>
Date: Thu, 19 Jul 2007 13:55:01 +0200
From: Christophe Raffalli <christophe.raffalli@univ-savoie.fr>
User-Agent: Thunderbird 1.5.0.10 (X11/20070403)
MIME-Version: 1.0
To: Gabriel Kerneis <gabriel.kerneis@enst.fr>
Cc: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml
References: <4fbf351c0707131317u123e2457gc59d85d9378a66c7@mail.gmail.com>	<469F3160.3020902@univ-savoie.fr>	<710e3f920707190251q31457e1ajae0b1b6313fd7b97@mail.gmail.com> <E1IBSnl-0001jk-9Y@kerneis.info>
In-Reply-To: <E1IBSnl-0001jk-9Y@kerneis.info>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 8bit
X-Scanned-By: MIMEDefang 2.33 (www . roaringpenguin . com / mimedefang)
X-Miltered: at concorde with ID 469F5117.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; christophe:01 raffalli:01 christophe:01 raffalli:01 univ-savoie:01 o'caml:01 0200,:01 beginner's:01 ocaml:01 bug:01 chablais:01 73376:01 univ-savoie:01 plug-in:98 rafael:98 

Gabriel Kerneis a écrit :
> Le Thu, 19 Jul 2007 11:51:29 +0200, Rafael <unfalkster@gmail.com> a
> écrit :
>> Hello,
>> If I had understood, you wish the outline to display only the names
>> longer than a given size ? In order to "filter" the results ?
> 
> Probably to prevent things like : 
> let f = ... in let aux = ...
> from being displayed, as they are mostly not significant.
> 

Yes exactly, let definition with very small name and/or very
small scope do not need to be displayed in the outline.

> Regards,
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs

-- 
Christophe Raffalli
Université de Savoie
Batiment Le Chablais, bureau 21
73376 Le Bourget-du-Lac Cedex

tél: (33) 4 79 75 81 03
fax: (33) 4 79 75 87 42
mail: Christophe.Raffalli@univ-savoie.fr
www: http://www.lama.univ-savoie.fr/~RAFFALLI
---------------------------------------------
IMPORTANT: this mail is signed using PGP/MIME
At least Enigmail/Mozilla, mutt or evolution
can check this signature. The public key is
stored on www.keyserver.net
---------------------------------------------


From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <christophe.raffalli@univ-savoie.fr>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled 
	version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39])
	by yquem.inria.fr (Postfix) with ESMTP id AE8B6BC69
	for <caml-list@yquem.inria.fr>; Thu, 19 Jul 2007 14:00:43 +0200 (CEST)
Received: from net.univ-savoie.fr (net.univ-savoie.fr [193.48.120.75])
	by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6JC0h9Q007278
	(version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO)
	for <caml-list@yquem.inria.fr>; Thu, 19 Jul 2007 14:00:43 +0200
Received: from post.bourget.univ-savoie.fr (post.bourget.univ-savoie.fr [193.48.120.73])
          by net.univ-savoie.fr (8.12.3/jtpda-5.4) with ESMTP id l6JC0VGO028009
          ; Thu, 19 Jul 2007 14:00:31 +0200
Received: from [193.48.123.45] (d45.lama.univ-savoie.fr [193.48.123.45])
          by post.bourget.univ-savoie.fr (8.12.3/jtpda-5.4) with ESMTP id l6JC0Rra021233
          ; Thu, 19 Jul 2007 14:00:27 +0200
Message-ID: <469F5260.9030207@univ-savoie.fr>
Date: Thu, 19 Jul 2007 14:00:32 +0200
From: Christophe Raffalli <christophe.raffalli@univ-savoie.fr>
User-Agent: Thunderbird 1.5.0.10 (X11/20070403)
MIME-Version: 1.0
To: Hugo Ferreira <hmf@inescporto.pt>
Cc: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml
References: <4fbf351c0707131317u123e2457gc59d85d9378a66c7@mail.gmail.com>	<469F3160.3020902@univ-savoie.fr> <469F36A7.3040601@inescporto.pt>
In-Reply-To: <469F36A7.3040601@inescporto.pt>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Scanned-By: MIMEDefang 2.33 (www . roaringpenguin . com / mimedefang)
X-Miltered: at concorde with ID 469F526B.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; christophe:01 raffalli:01 christophe:01 raffalli:01 univ-savoie:01 o'caml:01 'test':01 cheers:01 beginner's:01 ocaml:01 bug:01 chablais:01 73376:01 univ-savoie:01 plug-in:98 


>> - I use darcs, there is an eclipsedarcs project, but it seems
>> incompatible with OCalIDE, the message being:
>> Project 'test' contains linked URIs but
>> the'org.eclipsedarcs.core.repository.DarcsProvider' repository provider
>> does not supported them.
>>
> 
> Don't know if this will help but the last issue looks a bit like
> something I have experienced with SVN (Subversion). I don't think it has
> anything to do with the OcalIDE plug-in. Did you create a local or
> remote repository (don't know if this makes sense in darcs). It seems
> like the darcs plug-in does not allow for remote access to remote
> repositories.
> 
> Just to test this, create a Java project and see if you have the same
> problem.
> 

No problem with a new java project.

Remarks: the repository in darcs is always local
for darcs. You can then choose to "pull" patches from someone else
repository or to "push" your patches to a central repository (if
you have write access to it), but the existence
of a central repository is not mandatory in darcs (even if it becomes necessary
when the number of developers really doing modifications at the same time is growing ...)

Christophe

> HTHs,
> Hugo F.
> 
> 
> 
> 
> 
> 
>> Cheers,
> 
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs

-- 
Christophe Raffalli
Université de Savoie
Batiment Le Chablais, bureau 21
73376 Le Bourget-du-Lac Cedex

tél: (33) 4 79 75 81 03
fax: (33) 4 79 75 87 42
mail: Christophe.Raffalli@univ-savoie.fr
www: http://www.lama.univ-savoie.fr/~RAFFALLI
---------------------------------------------
IMPORTANT: this mail is signed using PGP/MIME
At least Enigmail/Mozilla, mutt or evolution
can check this signature. The public key is
stored on www.keyserver.net
---------------------------------------------


From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <christophe.raffalli@univ-savoie.fr>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=AWL 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 D079CBC69
	for <caml-list@yquem.inria.fr>; Thu, 19 Jul 2007 14:35:25 +0200 (CEST)
Received: from net.univ-savoie.fr (net.univ-savoie.fr [193.48.120.75])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6JCZPr8015684
	(version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO)
	for <caml-list@yquem.inria.fr>; Thu, 19 Jul 2007 14:35:25 +0200
Received: from post.bourget.univ-savoie.fr (post.bourget.univ-savoie.fr [193.48.120.73])
          by net.univ-savoie.fr (8.12.3/jtpda-5.4) with ESMTP id l6JCZMGO029207
          ; Thu, 19 Jul 2007 14:35:22 +0200
Received: from [193.48.123.45] (d45.lama.univ-savoie.fr [193.48.123.45])
          by post.bourget.univ-savoie.fr (8.12.3/jtpda-5.4) with ESMTP id l6JCZIra013675
          ; Thu, 19 Jul 2007 14:35:18 +0200
Message-ID: <469F5A8B.3030807@univ-savoie.fr>
Date: Thu, 19 Jul 2007 14:35:23 +0200
From: Christophe Raffalli <christophe.raffalli@univ-savoie.fr>
User-Agent: Thunderbird 1.5.0.10 (X11/20070403)
MIME-Version: 1.0
To: Christophe Raffalli <christophe.raffalli@univ-savoie.fr>
Cc: Gabriel Kerneis <gabriel.kerneis@enst.fr>,
	caml-list@yquem.inria.fr
Subject: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml
References: <4fbf351c0707131317u123e2457gc59d85d9378a66c7@mail.gmail.com>	<469F3160.3020902@univ-savoie.fr>	<710e3f920707190251q31457e1ajae0b1b6313fd7b97@mail.gmail.com> <E1IBSnl-0001jk-9Y@kerneis.info> <469F5115.5040204@univ-savoie.fr>
In-Reply-To: <469F5115.5040204@univ-savoie.fr>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 8bit
X-Scanned-By: MIMEDefang 2.33 (www . roaringpenguin . com / mimedefang)
X-Miltered: at discorde with ID 469F5A8D.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; christophe:01 raffalli:01 christophe:01 raffalli:01 univ-savoie:01 o'caml:01 indentifier:01 beginner's:01 ocaml:01 bug:01 chablais:01 73376:01 univ-savoie:01 plug-in:98 char:01 


> 
> Yes exactly, let definition with very small name and/or very
> small scope do not need to be displayed in the outline.
> 

In fact, and because we dont know what we want yet, the best would be to have

- a minimum length (in char) for indentifier
- a minimum length (in line) for scope size
- and a choice between and and or

Then you could say: I display an identifier if its length >= 3 and its scope size >= 30

Or you could say I display an identifier if its length >= 10000 or its scope size >= 30
(which means that the length is useless)

The only question is whether OCalIDE can compute the scop size of an ident ?


>> Regards,
>>
>>
>> ------------------------------------------------------------------------
>>
>> _______________________________________________
>> Caml-list mailing list. Subscription management:
>> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
>> Archives: http://caml.inria.fr
>> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
>> Bug reports: http://caml.inria.fr/bin/caml-bugs
> 

-- 
Christophe Raffalli
Université de Savoie
Batiment Le Chablais, bureau 21
73376 Le Bourget-du-Lac Cedex

tél: (33) 4 79 75 81 03
fax: (33) 4 79 75 87 42
mail: Christophe.Raffalli@univ-savoie.fr
www: http://www.lama.univ-savoie.fr/~RAFFALLI
---------------------------------------------
IMPORTANT: this mail is signed using PGP/MIME
At least Enigmail/Mozilla, mutt or evolution
can check this signature. The public key is
stored on www.keyserver.net
---------------------------------------------


From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <unfalkster@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.0 required=5.0 tests=AWL,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 2CBE6BC69
	for <caml-list@yquem.inria.fr>; Thu, 19 Jul 2007 14:43:23 +0200 (CEST)
Received: from nz-out-0506.google.com (nz-out-0506.google.com [64.233.162.227])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6JChMFT017526
	for <caml-list@yquem.inria.fr>; Thu, 19 Jul 2007 14:43:22 +0200
Received: by nz-out-0506.google.com with SMTP id x7so425514nzc
        for <caml-list@yquem.inria.fr>; Thu, 19 Jul 2007 05:43:21 -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:references;
        b=uGVnGQev1Fp+jzijN0j+umqsWAufKTgqBeZYSOucN0ToMUJXX+9WxDT3Fqs5tYrJfG79abK5/+E/nqWz/1Hg42bV2L250Rj8MPjgPV5l1YXEHUeGCeHrCAGzJtKFGMkegr1gRcbfiEA520umnLEMAk1+Eqp1tOOGZ+dAKcIqwJA=
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:references;
        b=i/76YMANTpHC970VyGLViF4USJKqYqak3laQeSikkggwZW4xyCQfPUqGNRGjzuEoRPgSCwXEvOshZ0Qzwvt0wtMsCfOnhXHQAPfksLoNnnzZDhcEucv0ANybwiGdBQszzkKb4tzKwJYSNad5efR7YwLegTkoQXGaV4VCaJwAYcg=
Received: by 10.114.25.3 with SMTP id 3mr2548472way.1184849001188;
        Thu, 19 Jul 2007 05:43:21 -0700 (PDT)
Received: by 10.114.191.3 with HTTP; Thu, 19 Jul 2007 05:43:21 -0700 (PDT)
Message-ID: <710e3f920707190543p9a21182qdaf6c75c9519f3b6@mail.gmail.com>
Date: Thu, 19 Jul 2007 14:43:21 +0200
From: Rafael <unfalkster@gmail.com>
To: "Christophe Raffalli" <christophe.raffalli@univ-savoie.fr>
Subject: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml
Cc: caml-list@yquem.inria.fr
In-Reply-To: <469F5A8B.3030807@univ-savoie.fr>
MIME-Version: 1.0
Content-Type: multipart/alternative; 
	boundary="----=_Part_108403_15606145.1184849001148"
References: <4fbf351c0707131317u123e2457gc59d85d9378a66c7@mail.gmail.com>
	 <469F3160.3020902@univ-savoie.fr>
	 <710e3f920707190251q31457e1ajae0b1b6313fd7b97@mail.gmail.com>
	 <E1IBSnl-0001jk-9Y@kerneis.info> <469F5115.5040204@univ-savoie.fr>
	 <469F5A8B.3030807@univ-savoie.fr>
X-j-chkmail-Score: MSGID : 469F5C6A.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1
X-Miltered: at discorde with ID 469F5C6A.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; o'caml:01 christophe:01 raffalli:01 christophe:01 raffalli:01 univ-savoie:01 indentifier:01 parser:01 syntax:01 beginner's:01 ocaml:01 bug:01 chablais:01 73376:01 univ-savoie:01 

------=_Part_108403_15606145.1184849001148
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline

On 7/19/07, Christophe Raffalli <christophe.raffalli@univ-savoie.fr> wrote:
>
>
> >
> > Yes exactly, let definition with very small name and/or very
> > small scope do not need to be displayed in the outline.
> >
>
> In fact, and because we dont know what we want yet, the best would be to
> have
>
> - a minimum length (in char) for indentifier
> - a minimum length (in line) for scope size
> - and a choice between and and or
>
> Then you could say: I display an identifier if its length >=3D 3 and its
> scope size >=3D 30
>
> Or you could say I display an identifier if its length >=3D 10000 or its
> scope size >=3D 30
> (which means that the length is useless)
>
> The only question is whether OCalIDE can compute the scop size of an iden=
t
> ?


Yes it would be a good idea. I think it could be done, but I'm not sure,
so we will have to wait until the person who writes the parser for the code
(Nicolas) came back. An AST (Abstract Syntax Tree) is build to represent th=
e
code, then I guess we could find the scope of a definition...
Regards,

Rafael

>> Regards,
> >>
> >>
> >>
> ------------------------------------------------------------------------
> >>
> >> _______________________________________________
> >> Caml-list mailing list. Subscription management:
> >> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> >> Archives: http://caml.inria.fr
> >> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> >> Bug reports: http://caml.inria.fr/bin/caml-bugs
> >
>
> --
> Christophe Raffalli
> Universit=E9 de Savoie
> Batiment Le Chablais, bureau 21
> 73376 Le Bourget-du-Lac Cedex
>
> t=E9l: (33) 4 79 75 81 03
> fax: (33) 4 79 75 87 42
> mail: Christophe.Raffalli@univ-savoie.fr
> www: http://www.lama.univ-savoie.fr/~RAFFALLI
> ---------------------------------------------
> IMPORTANT: this mail is signed using PGP/MIME
> At least Enigmail/Mozilla, mutt or evolution
> can check this signature. The public key is
> stored on www.keyserver.net
> ---------------------------------------------
>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>

------=_Part_108403_15606145.1184849001148
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline

<br><br>
<div><span class=3D"gmail_quote">On 7/19/07, <b class=3D"gmail_sendername">=
Christophe Raffalli</b> &lt;<a href=3D"mailto:christophe.raffalli@univ-savo=
ie.fr">christophe.raffalli@univ-savoie.fr</a>&gt; wrote:</span>=20
<blockquote class=3D"gmail_quote" style=3D"PADDING-LEFT: 1ex; MARGIN: 0px 0=
px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid"><br>&gt;<br>&gt; Yes exactly, le=
t definition with very small name and/or very<br>&gt; small scope do not ne=
ed to be displayed in the outline.
<br>&gt;<br><br>In fact, and because we dont know what we want yet, the bes=
t would be to have<br><br>- a minimum length (in char) for indentifier<br>-=
 a minimum length (in line) for scope size<br>- and a choice between and an=
d or
<br><br>Then you could say: I display an identifier if its length &gt;=3D 3=
 and its scope size &gt;=3D 30<br><br>Or you could say I display an identif=
ier if its length &gt;=3D 10000 or its scope size &gt;=3D 30<br>(which mean=
s that the length is useless)
<br><br>The only question is whether OCalIDE can compute the scop size of a=
n ident ?</blockquote>
<div>&nbsp;</div>
<div>Yes it would be a good idea. I think it could be done, but I&#39;m not=
 sure, so&nbsp;we will have to wait until the person who writes the parser =
for the code (Nicolas)&nbsp;came back. An AST (Abstract Syntax Tree) is bui=
ld to represent the code, then I guess we could find the scope of a definit=
ion...
</div>
<div>Regards,</div>
<div>&nbsp;</div>
<div>Rafael</div><br>
<blockquote class=3D"gmail_quote" style=3D"PADDING-LEFT: 1ex; MARGIN: 0px 0=
px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">&gt;&gt; Regards,<br>&gt;&gt;<br=
>&gt;&gt;<br>&gt;&gt; -----------------------------------------------------=
-------------------
<br>&gt;&gt;<br>&gt;&gt; _______________________________________________<br=
>&gt;&gt; Caml-list mailing list. Subscription management:<br>&gt;&gt; <a h=
ref=3D"http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list">http://yqu=
em.inria.fr/cgi-bin/mailman/listinfo/caml-list
</a><br>&gt;&gt; Archives: <a href=3D"http://caml.inria.fr">http://caml.inr=
ia.fr</a><br>&gt;&gt; Beginner&#39;s list: <a href=3D"http://groups.yahoo.c=
om/group/ocaml_beginners">http://groups.yahoo.com/group/ocaml_beginners</a>
<br>&gt;&gt; Bug reports: <a href=3D"http://caml.inria.fr/bin/caml-bugs">ht=
tp://caml.inria.fr/bin/caml-bugs</a><br>&gt;<br><br>--<br>Christophe Raffal=
li<br>Universit=E9 de Savoie<br>Batiment Le Chablais, bureau 21<br>73376 Le=
 Bourget-du-Lac Cedex
<br><br>t=E9l: (33) 4 79 75 81 03<br>fax: (33) 4 79 75 87 42<br>mail: <a hr=
ef=3D"mailto:Christophe.Raffalli@univ-savoie.fr">Christophe.Raffalli@univ-s=
avoie.fr</a><br>www: <a href=3D"http://www.lama.univ-savoie.fr/~RAFFALLI">h=
ttp://www.lama.univ-savoie.fr/~RAFFALLI
</a><br>---------------------------------------------<br>IMPORTANT: this ma=
il is signed using PGP/MIME<br>At least Enigmail/Mozilla, mutt or evolution=
<br>can check this signature. The public key is<br>stored on <a href=3D"htt=
p://www.keyserver.net">
www.keyserver.net</a><br>---------------------------------------------<br><=
br>_______________________________________________<br>Caml-list mailing lis=
t. Subscription management:<br><a href=3D"http://yquem.inria.fr/cgi-bin/mai=
lman/listinfo/caml-list">
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list</a><br>Archives: <=
a href=3D"http://caml.inria.fr">http://caml.inria.fr</a><br>Beginner&#39;s =
list: <a href=3D"http://groups.yahoo.com/group/ocaml_beginners">http://grou=
ps.yahoo.com/group/ocaml_beginners
</a><br>Bug reports: <a href=3D"http://caml.inria.fr/bin/caml-bugs">http://=
caml.inria.fr/bin/caml-bugs</a><br></blockquote></div><br>

------=_Part_108403_15606145.1184849001148--


From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <Christophe.Raffalli@univ-savoie.fr>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=none 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 7FC50BC6B
	for <caml-list@yquem.inria.fr>; Mon, 23 Jul 2007 10:14:45 +0200 (CEST)
Received: from smtp6-g19.free.fr (smtp6-g19.free.fr [212.27.42.36])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6N8EjbM018718
	for <caml-list@yquem.inria.fr>; Mon, 23 Jul 2007 10:14:45 +0200
Received: from Tocksi.local (lns-bzn-45-82-65-145-73.adsl.proxad.net [82.65.145.73])
	by smtp6-g19.free.fr (Postfix) with ESMTP id E0683B7CF6;
	Mon, 23 Jul 2007 10:14:42 +0200 (CEST)
Message-ID: <46A4636B.7000205@univ-savoie.fr>
Date: Mon, 23 Jul 2007 10:14:35 +0200
From: Christophe Raffalli <Christophe.Raffalli@univ-savoie.fr>
User-Agent: Thunderbird 2.0.0.5 (Macintosh/20070716)
MIME-Version: 1.0
To: Jon Harrop <jon@ffconsultancy.com>
Cc: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml
References: <200707230843.01701.jon@ffconsultancy.com>
In-Reply-To: <200707230843.01701.jon@ffconsultancy.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 8bit
X-Miltered: at discorde with ID 46A46375.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; christophe:01 raffalli:01 christophe:01 raffalli:01 univ-savoie:01 o'caml:01 pointer:01 usr:01 lib:01 plug-in:98 caml-list:01 exceptions:01 usable:02 gnu:03 debian:04 

Jon Harrop a écrit :
> This was sounding quite nice and I've been meaning to try Eclipse and Scala. 
> However, I just managed to get the necessary software installed under Debian 
> Linux and am finding it to be extremely unstable. I'm seeing null pointer 
> exceptions and lots of hanging.
>
> One point of particular concern is the startup message:
>
> searching for compatible vm...
>   testing /usr/lib/jvm/java-gcj...found
>
> which implies that Eclipse has chosen to run using the GNU Java clone rather 
> than the real thing (which is installed).
>
> Has anyone else here found Eclipse to be usable?
>
>   
As said in some post previously, you need sun-java (6 preferably) and 
start eclipse with -vm to tell him
the java path.

Christophe


From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jon@ffconsultancy.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=AWL 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 395B7BC6B
	for <caml-list@yquem.inria.fr>; Mon, 23 Jul 2007 10:46:05 +0200 (CEST)
Received: from pih-relay04.plus.net (pih-relay04.plus.net [212.159.14.131])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6N8k4Xl026242
	(version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO)
	for <caml-list@yquem.inria.fr>; Mon, 23 Jul 2007 10:46:05 +0200
Received: from [80.229.56.224] (helo=beast.local)
	 by pih-relay04.plus.net with esmtp (Exim) id 1ICtYJ-00073Q-1X
	for caml-list@yquem.inria.fr; Mon, 23 Jul 2007 09:46:03 +0100
From: Jon Harrop <jon@ffconsultancy.com>
Organization: Flying Frog Consultancy Ltd.
To: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml
Date: Mon, 23 Jul 2007 09:36:49 +0100
User-Agent: KMail/1.9.7
References: <200707230843.01701.jon@ffconsultancy.com> <46A4636B.7000205@univ-savoie.fr>
In-Reply-To: <46A4636B.7000205@univ-savoie.fr>
MIME-Version: 1.0
Content-Type: text/plain;
  charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
Message-Id: <200707230936.49477.jon@ffconsultancy.com>
X-Miltered: at discorde with ID 46A46ACC.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; o'caml:01 christophe:01 ocaml:01 ocaml:01 plug-in:98 frog:98 wrote:01 caml-list:01 path:07 looks:08 ltd:87 products:86 some:14 www:84 problems:16 

On Monday 23 July 2007 09:14:35 Christophe wrote:
> As said in some post previously, you need sun-java (6 preferably) and
> start eclipse with -vm to tell him
> the java path.

Wonderful: that fixed all of the problems. This IDE looks absolutely 
fantastic! 8-)

-- 
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
OCaml for Scientists
http://www.ffconsultancy.com/products/ocaml_for_scientists/?e


From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <bounces@nabble.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: ***
X-Spam-Status: No, score=3.7 required=5.0 tests=FROM_LOCAL_NOVOWEL,
	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 concorde.inria.fr (concorde.inria.fr [192.93.2.39])
	by yquem.inria.fr (Postfix) with ESMTP id B7BD9BC69
	for <caml-list@yquem.inria.fr>; Tue, 31 Jul 2007 10:17:42 +0200 (CEST)
Received: from kuber.nabble.com (kuber.nabble.com [216.139.236.158])
	by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6V8Hfeq026242
	(version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO)
	for <caml-list@yquem.inria.fr>; Tue, 31 Jul 2007 10:17:42 +0200
Received: from isper.nabble.com ([192.168.236.156])
	by kuber.nabble.com with esmtp (Exim 4.63)
	(envelope-from <bounces@nabble.com>)
	id 1IFmvC-00026M-72
	for caml-list@yquem.inria.fr; Tue, 31 Jul 2007 01:17:38 -0700
Message-ID: <11920014.post@talk.nabble.com>
Date: Tue, 31 Jul 2007 01:17:38 -0700 (PDT)
From: Roland Kaufmann <rlndkfmn@gmail.com>
To: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml
In-Reply-To: <200707230843.01701.jon@ffconsultancy.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Nabble-From: rlndkfmn@gmail.com
References: <200707230843.01701.jon@ffconsultancy.com>
X-j-chkmail-Score: MSGID : 46AEF025.000 on concorde : j-chkmail score : XX : 0/20 2 0.000 -> 2
X-Miltered: at concorde with ID 46AEF025.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; o'caml:01 apt-get:01 plug-in:98 ubuntu:98 wrote:01 caml-list:01 caml:02 gnu:03 debian:04 kaufmann:05 installed:05 installed:05 implies:06 context:06 clone:06 



Jon Harrop wrote:
> 
> which implies that Eclipse has chosen to run using the GNU Java clone
> rather 
> than the real thing (which is installed).
> 

I reckon that you've installed "the real thing" with something like `sudo
apt-get sun-java6-jdk` (which at least is the package name in my Ubuntu
Feisty Debian derivative). You should then look into the `sudo
update-alternatives --config java` command, to set this as the default VM.
-- 
View this message in context: http://www.nabble.com/OcaIDE%3A-a-new-Eclipse-plug-in-for-O%27Caml-tf4128080.html#a11920014
Sent from the Caml Discuss2 mailing list archive at Nabble.com.