From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q1MHX5ZX010184
	for <caml-list@sympa-roc.inria.fr>; Wed, 22 Feb 2012 18:33:05 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ApwBAHslRU/RVdc2kGdsb2JhbABDhSitFAgiAQEBAQkJDRsEI4FzAQEBAwESAg8dARsdAQMBCwYFCw8CJgICIgERAQUBHAY1h1+aWAqLJkyCcYUuP4hzAgULgSSLKBUmBAUKAwMHAwIFCAoBCwEBAQECAQICiCaBFgSVOI4tPYQF
X-IronPort-AV: E=Sophos;i="4.73,465,1325458800"; 
   d="scan'208";a="132476964"
Received: from mail-lpp01m010-f54.google.com ([209.85.215.54])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 22 Feb 2012 18:32:59 +0100
Received: by lagz14 with SMTP id z14so540894lag.27
        for <multiple recipients>; Wed, 22 Feb 2012 09:32:58 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=mime-version:in-reply-to:references:date:message-id:subject:from:to
         :cc:content-type;
        bh=q8N43BvbntfVA06FLpD/2K90e0OFqWXvY/duBoynhGE=;
        b=aEHsv463lFGyt8IKSuo6niFl7TBG7+V1bckFuPpcQw2YqAW3ZvrIw1hLoJhowVjZH0
         KacDTVUn0lUxVnSXWTuwJFWqAMwkZ5xHekvj5m6Y9zORe41YSk9BaqxhGBsSLSAvnKsm
         //fh2BYIFj8K2vzXMeIJZCfig4PxHaPEHIYCo=
MIME-Version: 1.0
Received: by 10.152.124.77 with SMTP id mg13mr20113776lab.4.1329931978832;
 Wed, 22 Feb 2012 09:32:58 -0800 (PST)
Received: by 10.152.145.229 with HTTP; Wed, 22 Feb 2012 09:32:58 -0800 (PST)
In-Reply-To: <4F452F9F.4050203@inria.fr>
References: <4F452F9F.4050203@inria.fr>
Date: Wed, 22 Feb 2012 19:32:58 +0200
Message-ID: <CAPi0vKXzyqzsdUCObP7Q9qn8NUPGZo7rEhS95Wg59jwj+6XZJA@mail.gmail.com>
From: Dmitry Grebeniuk <gdsfh1@gmail.com>
To: Tiphaine Turpin <Tiphaine.Turpin@inria.fr>
Cc: caml-list@inria.fr
Content-Type: text/plain; charset=UTF-8
Subject: Re: [Caml-list] [ANN] TypeRex release 1.0.0 candidate 1

Hello, Tiphaine.

> We are pleased to announce the first release candidate of TypeRex

  Does it work with revised syntax?