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 q1MHjfNQ010866 for ; Wed, 22 Feb 2012 18:45:41 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtoDABMpRU/RVdS2imdsb2JhbABDgw6maIhHCCIBAQEKCQ0ZBiOBagUEAQEBAwESAiwBOAEDDAEFBQMBCjg0AQUBHAYcGYUmgi4LAwaaTgqOY4UuiTICBQuMRhsqFAsRCAEKAgIDAQIChRw4DAaCc2MEmxWBOlKGRD2BU4Ix X-IronPort-AV: E=Sophos;i="4.73,465,1325458800"; d="scan'208,217";a="132478641" Received: from mail-wi0-f182.google.com ([209.85.212.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 22 Feb 2012 18:45:35 +0100 Received: by wibhn14 with SMTP id hn14so329642wib.27 for ; Wed, 22 Feb 2012 09:45:35 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=sender:subject:mime-version:content-type:from:in-reply-to:date:cc :message-id:references:to:x-mailer; bh=JjzLF7CEFxWsE+84iwJqP5gTshVzFjC9BxsCikTZ/JQ=; b=QzlZ/AJQDM11K+p9AVnAhvpZM95iFAvt04KLYete7wjW6exV3dOAbFZpJzDV7OTWaU RTFE+ppz5lg2sf1xiKiDX07d9zDZKuYTxJql3v+vRS0g/5Xt9sdx0k48O0RuKDSsobOp dyNlWUH6w4OgNJB/QmngzszPiyRq3OOy61/YM= Received: by 10.180.80.8 with SMTP id n8mr31220011wix.14.1329932735583; Wed, 22 Feb 2012 09:45:35 -0800 (PST) Received: from [192.168.0.14] (gou06-3-88-170-165-56.fbx.proxad.net. [88.170.165.56]) by mx.google.com with ESMTPS id df3sm17695049wib.1.2012.02.22.09.45.33 (version=TLSv1/SSLv3 cipher=OTHER); Wed, 22 Feb 2012 09:45:34 -0800 (PST) Sender: Thomas Gazagnaire Mime-Version: 1.0 (Apple Message framework v1084) Content-Type: multipart/alternative; boundary=Apple-Mail-63--561787324 From: Thomas Gazagnaire In-Reply-To: Date: Wed, 22 Feb 2012 18:45:30 +0100 Cc: Tiphaine Turpin , caml-list@inria.fr Message-Id: References: <4F452F9F.4050203@inria.fr> To: Dmitry Grebeniuk X-Mailer: Apple Mail (2.1084) Subject: Re: [Caml-list] [ANN] TypeRex release 1.0.0 candidate 1 --Apple-Mail-63--561787324 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii >> We are pleased to announce the first release candidate of TypeRex >=20 > Does it work with revised syntax? camlp4 is partially supported (only 3.12.1 currently), see http://www.typer= ex.org/manual-ide.html#assumptions -- Thomas --Apple-Mail-63--561787324 Content-Transfer-Encoding: 7bit Content-Type: text/html; charset=us-ascii

We are pleased to announce the first release candidate of TypeRex

Does it work with revised syntax?

camlp4 is partially supported (only 3.12.1 currently), see http://www.typerex.org/manual-ide.html#assumptions

Thomas

--Apple-Mail-63--561787324--