From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.7 required=5.0 tests=AWL,RCVD_IN_BL_SPAMCOP_NET, 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 25FEFBC6B for ; Sat, 14 Jul 2007 18:47:49 +0200 (CEST) Received: from fk-out-0910.google.com (fk-out-0910.google.com [209.85.128.187]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6EGlmHZ002027 for ; Sat, 14 Jul 2007 18:47:48 +0200 Received: by fk-out-0910.google.com with SMTP id b27so56036fka for ; Sat, 14 Jul 2007 09:47:48 -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:content-transfer-encoding:content-disposition; b=krr7EaqIKUKz4PU8QE2DUZb1TrL5iQe/RF6ketKY/cJjGiHdR94yW8bSc02di0ykmQ658V9WaN6g5BjqBJ0jt3V2+BvKVH0QxMvFN6TfkZuPlFqQZmTZTl3nrZAQJx9hacYcEabOpjbtXG9VknqIp9j0GO54E8EQLB45JudlCeI= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition; b=ew5Qq4Lbbl5pAgG9W8Mwt21PHcgihh0ZiVBlS9bsU+NbWeI26ZTsVr0pV1KqcCxAXaoE97Az9C9qXXJYMmAXHFr0TPSIuWoJeJG3TpUE3pW0V0HibY/L6B9PGqE3+2T73s3xB4CH56vXn60M5s6aZrWhiRtsTWzYp8pIHbYaOOY= Received: by 10.82.134.12 with SMTP id h12mr3228420bud.1184431668294; Sat, 14 Jul 2007 09:47:48 -0700 (PDT) Received: by 10.82.153.14 with HTTP; Sat, 14 Jul 2007 09:47:48 -0700 (PDT) Message-ID: <4fbf351c0707140947j3a45ce5cm85a7f7d177469241@mail.gmail.com> Date: Sat, 14 Jul 2007 18:47:48 +0200 From: "Nicolas Bros" To: "Caml List" Subject: OcaIDE update (version 1.0.1) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline X-j-chkmail-Score: MSGID : 4698FE34.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 4698FE34.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 nicolas:08 nicolas:08 changes:13 version:13 version:13 but:14 U4:82 try:19 catch:20 update:22 list:22 site:75 able:24 com:74 Hi everyone! Version 1.0.1 of OcaIDE is now available. For a list of changes, see the web site: http://ocaml.eclipse.ortsa.com I am going in vacation tomorrow for one week, so I will not be able to answer messages. But I will try to catch up as soon as I get back. Nicolas BROS