From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 8D071BBAF for ; Fri, 13 Aug 2010 15:50:51 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArsBACvqZExKfVK2mGdsb2JhbACTBCuNAggVAQEBAQEICQwHESKhfYsihhsjiF8BAQMFhTUEiV+GB4Ir X-IronPort-AV: E=Sophos;i="4.55,363,1278280800"; d="scan'208";a="65358574" Received: from mail-wy0-f182.google.com ([74.125.82.182]) by mail1-smtp-roc.national.inria.fr with ESMTP; 13 Aug 2010 15:50:51 +0200 Received: by wyj26 with SMTP id 26so3707367wyj.27 for ; Fri, 13 Aug 2010 06:50:51 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:sender:received:date :x-google-sender-auth:message-id:subject:from:to:content-type; bh=We4CMMLlOqrNuFKYB7uQUKWTAL1aZtSaKiqkAA2NCV0=; b=lLB34ODZCJRbzniSUppEW4u3RkOqJQr+hvYMM4d+CIjCIWQlPqSQ/ZUmME2Ox9ZzOz lNfwsNAVadGtfIIsmE2JCuMhHac1BlpPGogvLiRh6ef/YKsyMQmBg2mUR4XaUlou7O6w 4K3mcAtow06Mu1gVUf1JsuSwiDistAl91B1q0= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:date:x-google-sender-auth:message-id:subject :from:to:content-type; b=O1u4M1ReKLqEMCLHd8AOB2lhHsrcTLN5AD54NHVHOxr7WdzR2Sp4AuRqJNCEpBJp43 IrAj7olM3GbEuW+htwJ+qKGpw8002GiTxUCVasv6sigKKFEy2m/cX9CGk2lnR3T5WIKz C20VcstwbOM4W3hJcJK2a67EaiMwOn2WLhpbU= MIME-Version: 1.0 Received: by 10.216.231.83 with SMTP id k61mr8066063weq.88.1281707451073; Fri, 13 Aug 2010 06:50:51 -0700 (PDT) Sender: jianzhou.zh@gmail.com Received: by 10.216.29.67 with HTTP; Fri, 13 Aug 2010 06:50:50 -0700 (PDT) Date: Fri, 13 Aug 2010 09:50:50 -0400 X-Google-Sender-Auth: -ZkmZ3AxHLk7n94xn0jajIlhn-g Message-ID: Subject: Eclipse plugins From: Jianzhou Zhao To: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 X-Spam: no; 0.00; ocaml:01 ocaml:01 zhao:98 upenn:01 seems:03 debugging:03 plugins:14 plugins:14 does:14 www:84 www:84 edu:15 thanks:17 hello:17 plugin:18 Hello List, I am looking for an eclipse plugin for OCaml. http://www.cocan.org/ocaml_and_eclipse lists three plugins. The last one http://www.algo-prog.info/ocaide/ seems supporting more features (including debugging). Does anyone have any experience with them, or other plugins? Thanks -- Jianzhou