From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id E172A7ED27 for ; Mon, 11 Jun 2012 13:25:45 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ah0DAIjV1U/U4xEKk2dsb2JhbABFtGIiAQEBAQkJCwkUAySCWT+BHTQJiAYHt00UjWGDGwONJ4kJkUs X-IronPort-AV: E=Sophos;i="4.75,749,1330902000"; d="scan'208";a="162228759" Received: from moutng.kundenserver.de ([212.227.17.10]) by mail1-smtp-roc.national.inria.fr with ESMTP; 11 Jun 2012 13:25:25 +0200 Received: from office1.lan.sumadev.de (dslb-188-097-010-075.pools.arcor-ip.net [188.97.10.75]) by mrelayeu.kundenserver.de (node=mrbap1) with ESMTP (Nemesis) id 0LtUJA-1RulmK0RAC-011FPW; Mon, 11 Jun 2012 13:25:24 +0200 Received: from samsung (dslb-178-004-238-245.pools.arcor-ip.net [178.4.238.245]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id AB68FC00D1; Mon, 11 Jun 2012 13:25:23 +0200 (CEST) Date: Mon, 11 Jun 2012 13:25:23 +0200 From: Gerd Stolpmann To: caml-list@inria.fr Cc: ocaml-pxp-users@orcaware.com X-Mailer: Balsa 2.4.11 Message-Id: <1339413923.3066.9@samsung> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii; DelSp=Yes; Format=Flowed Content-Disposition: inline Content-Transfer-Encoding: quoted-printable X-Provags-ID: V02:K0:+XjzAxvWhxOwUlZAX0ZGuicDYEfGFnhS7uuAaXg/+O9 scOub6Z4jAK/bIkTLfR03VCHv2/2rbCPtE58G973u/V76F9z/d aztvlTef1AS57A/puogV6HmkzFJjMzik4bUipRx4llodOhZKKi iofshvgrB7KMc3xixmCorUzjmvHovioXj5nUw6twPdICCm1E48 /1wz0FH7AI0Io619b3x4cg5092btX9BJzaV5ZnRPyUTPT+Ab/y PwpanARteW5BMGKuxdiiHiUKeUAnkfqxg+QMskkf0+O6fIlvW4 IkLOTl6JEGjZOenjg8WH6WUovLIZNGSIWcd/5OsIWqotZ1h7jQ A7BjyFvf/Idx+p9RnW+Y= Subject: [Caml-list] [ANN] PXP-1.2.3 for OCaml-4.00 Hi, I've just released PXP-1.2.3, and the only change is the port to=20=20 OCaml-4.00 (based on a patch from Richard Jones). Download, manual etc. under=20=20 http://projects.camlcity.org/projects/pxp.html Gerd --=20 ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de Creator of GODI and camlcity.org. Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de ------------------------------------------------------------=