From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 404127F20B for ; Fri, 8 Feb 2013 19:34:28 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of amc79@cam.ac.uk) identity=pra; client-ip=131.111.8.143; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="amc79@cam.ac.uk"; x-sender="amc79@cam.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of amc79@cam.ac.uk) identity=mailfrom; client-ip=131.111.8.143; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="amc79@cam.ac.uk"; x-sender="amc79@cam.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@ppsw-43.csi.cam.ac.uk) identity=helo; client-ip=131.111.8.143; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="amc79@cam.ac.uk"; x-sender="postmaster@ppsw-43.csi.cam.ac.uk"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApcEAKhDFVGDbwiPnGdsb2JhbABFjwGyChYOAQEBAQEICyYngmCBfYgkDJ1dmAOJCpB7YQOcFY1i X-IPAS-Result: ApcEAKhDFVGDbwiPnGdsb2JhbABFjwGyChYOAQEBAQEICyYngmCBfYgkDJ1dmAOJCpB7YQOcFY1i X-IronPort-AV: E=Sophos;i="4.84,630,1355094000"; d="scan'208";a="1593525" Received: from ppsw-43.csi.cam.ac.uk ([131.111.8.143]) by mail3-smtp-sop.national.inria.fr with ESMTP; 08 Feb 2013 19:26:37 +0100 X-Cam-AntiVirus: no malware found X-Cam-SpamDetails: not scanned X-Cam-ScannerInfo: http://www.ucs.cam.ac.uk/email/scanner/ Received: from [172.16.175.162] (port=53516) by ppsw-43.csi.cam.ac.uk (smtp.hermes.cam.ac.uk [131.111.8.159]:587) with esmtpsa (PLAIN:amc79) (TLSv1:AES128-SHA:128) id 1U3smJ-0006YN-mk (Exim 4.72) for caml-list@inria.fr (return-path ); Fri, 08 Feb 2013 18:34:27 +0000 From: Amir Chaudhry Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Message-Id: <3520EB2F-BDCB-4C24-B974-B0C6670970E3@cam.ac.uk> Date: Fri, 8 Feb 2013 18:34:27 +0000 To: "caml-list@inria.fr" Mime-Version: 1.0 (Mac OS X Mail 6.2 \(1499\)) X-Mailer: Apple Mail (2.1499) Subject: [Caml-list] OCaml Labs Monthly Update Dear caml-list, The monthly update on the OCaml Labs work is now posted on the website. You can find it at: http://www.cl.cam.ac.uk/projects/ocamllabs/activity/ind= ex.html Best wishes, Amir=