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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 814E0BBAF for ; Thu, 5 Nov 2009 14:51:15 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmEBAF5n8kpKfU4ZkGdsb2JhbACRcYk0PwEBAQEJCQwHEwOyIoE6hX+IaAEDAwWEOAQ X-IronPort-AV: E=Sophos;i="4.44,686,1249250400"; d="scan'208";a="37596782" Received: from ey-out-2122.google.com ([74.125.78.25]) by mail3-smtp-sop.national.inria.fr with ESMTP; 05 Nov 2009 14:51:15 +0100 Received: by ey-out-2122.google.com with SMTP id 25so20808eya.7 for ; Thu, 05 Nov 2009 05:51:14 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :date:message-id:subject:from:to:cc:content-type :content-transfer-encoding; bh=TRKARmXHa9TsyvIwy5cqhMILEnITIN0YZUOcUzxLYUk=; b=sFdhDTr1nFcRkDUgtOH1uqimkfH8/0D5th1WZE5pFrPeuOgmdHTy6I1W4oW7RHkaqt 6hpS1Qu4Pq69TmLBJIzRtCfXwp8ayzxRzEzCgcT1dJg14hJRIZb3UlRxP7Yd9BKTbTwx kKWxOR3HXMOthplRch7LjElvcsypzH/jQbzxM= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding; b=pvtZTmo6RiFdy/vIXDLIiKdKu8i3r+wjCRqQ1EKnr5R/deuwsVvb2eRrj6dVH3vYpU K3liPCRgtSENGaqhZ9vCAr7h4LPUtIMgHuxKaqYm2QeRx6usQD7nOYS5XTXw4BYa/j7e 2Dm2wDbBs1Kvn7u81OnZfGRxkvYvIU2/MqnEc= MIME-Version: 1.0 Received: by 10.239.183.17 with SMTP id s17mr258976hbg.172.1257429073469; Thu, 05 Nov 2009 05:51:13 -0800 (PST) In-Reply-To: <4AF2D421.9040201@inescporto.pt> References: <4AF2D421.9040201@inescporto.pt> Date: Thu, 5 Nov 2009 14:51:13 +0100 Message-ID: <4a708d20911050551m5db9cda5n7cf27d4285824526@mail.gmail.com> Subject: Re: [Caml-list] Ocal IDE: Vote for OcalIDE From: Lukasz Stafiniak To: Hugo Ferreira Cc: Caml-list List Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; lukasz:01 emacs:01 node:01 2009:98 wrote:01 caml-list:01 thu:05 feature:09 hugo:14 hugo:14 marketplace:83 nov:17 hello:17 ferreira:19 regards:20 The feature list is stunning. Could you port OcaIDE to Emacs please?!? :-D On Thu, Nov 5, 2009 at 2:33 PM, Hugo Ferreira wrote: > Hello, > > If you like OcaIDE, please vote for it to show your support: > =A0http://marketplace.eclipse.org/node/599 > > Regards, > Hugo F.