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 6B5937EE4B for ; Fri, 11 Oct 2013 11:02:45 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mauny.inria@gmail.com) identity=pra; client-ip=209.85.212.172; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mauny.inria@gmail.com"; x-sender="mauny.inria@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of mauny.inria@gmail.com designates 209.85.212.172 as permitted sender) identity=mailfrom; client-ip=209.85.212.172; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mauny.inria@gmail.com"; x-sender="mauny.inria@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wi0-f172.google.com) identity=helo; client-ip=209.85.212.172; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mauny.inria@gmail.com"; x-sender="postmaster@mail-wi0-f172.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArsCAEi+V1LRVdSslGdsb2JhbABagz+De6tBlAUWDgEBAQEHCwsJEiqCJQEBBSMPAQ0BEhsKAQEDDAEFBRgCAgUEEggDAgIJAwIBAgEPEwEFAQoBEQYNAQUCAQEOh2IDDwQIm2mMAoNdhE4nAwqJZQEFDIEdizGFXoE5A5YcgWmBL4UJhhSDS0GBY4Jt X-IPAS-Result: ArsCAEi+V1LRVdSslGdsb2JhbABagz+De6tBlAUWDgEBAQEHCwsJEiqCJQEBBSMPAQ0BEhsKAQEDDAEFBRgCAgUEEggDAgIJAwIBAgEPEwEFAQoBEQYNAQUCAQEOh2IDDwQIm2mMAoNdhE4nAwqJZQEFDIEdizGFXoE5A5YcgWmBL4UJhhSDS0GBY4Jt X-IronPort-AV: E=Sophos;i="4.90,1079,1371074400"; d="scan'208";a="29935378" Received: from mail-wi0-f172.google.com ([209.85.212.172]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 11 Oct 2013 11:02:44 +0200 Received: by mail-wi0-f172.google.com with SMTP id hj8so779279wib.5 for ; Fri, 11 Oct 2013 02:02:44 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:message-id:date:from:reply-to:organization:user-agent :mime-version:to:cc:subject:references:in-reply-to:content-type :content-transfer-encoding; bh=aXbbqXnzCXYM8Hn74POgCzW++syQaou8CdwNVEYV3eo=; b=GIWd2rstXffWfGJgfPNKeouOvMuOU3cpnQbp3lVTns4Z4loilpf1JA9clVvHRgx/GS N3bhXrLgsZW/tbVw3yB5RwmuTyl+HwgcbTjMXrXEjHDDn9OV09GqcdEw98U55IjBmvoo gt8tHmjG9/XUQiBA2erls/RBlZTJJqi465AgpBhlouD08waGz7ixX0cCPr091Vh6YxXy 7yAxD9mLmqZCWPPiF4EtY3RwgGlHYDissbz8pRmMmj/jnrZUSdDAJUjsTUpm8CRmtNqJ yvnb/jgbA+SzvUQ9yphu76GEk37cmrZe+rrYqQQgs7yEUbJvJCrVF+fy3bQiB+BeOzpS 1CIQ== X-Received: by 10.180.208.97 with SMTP id md1mr2228559wic.41.1381482164610; Fri, 11 Oct 2013 02:02:44 -0700 (PDT) Received: from [10.0.0.11] (finiasz.net. [94.23.15.65]) by mx.google.com with ESMTPSA id mw9sm4113623wib.0.2013.10.11.02.02.43 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Fri, 11 Oct 2013 02:02:44 -0700 (PDT) Sender: Michel Mauny Message-ID: <5257BEB2.8060905@inria.fr> Date: Fri, 11 Oct 2013 11:02:42 +0200 From: Michel Mauny Reply-To: michel.mauny@inria.fr Organization: ENSTA-ParisTech User-Agent: Mozilla/5.0 (X11; U; Linux i686; fr; rv:1.8.1.6) Gecko/20070728 Thunderbird/6.0.1 Mnenhy/0.7.5.0 MIME-Version: 1.0 To: Ashish Agarwal CC: Caml List References: <52555429.9030001@inria.fr> <52565967.50406@inria.fr> In-Reply-To: Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] OCaml 2013: papers and slides are available Thanks! - Michel Ashish Agarwal écrit/writes [10/10/2013 17:10] : > This should be fixed now. There was a slight bug in the publish script. > > > On Thu, Oct 10, 2013 at 3:38 AM, Michel Mauny > wrote: > > Hi, > > I have fixed the problem a few minutes ago, but I still don't understand what happened. I must have missed something on the way ocaml.org is updated. > > Sorry about that, > > - Michel > > > Pierre-Alexandre Voye écrit/writes [10/10/2013 08:46] : > > This morning, lots of links are 404 (404 on github). Yesterday evening it was OK. > > > > > > 2013/10/9 Milan Stanojević >> > > > > Now everything seems to be ok > > > > On Wed, Oct 9, 2013 at 12:28 PM, Milan Stanojević >> wrote: > > > A lot of links are giving me 404 > > > > > > On Wed, Oct 9, 2013 at 9:03 AM, Michel Mauny >> wrote: > > >> Dear List, > > >> > > >> The presentations that have been given at OCaml 2013 in Boston on > > >> september 24 are now online: > > >> > > >> http://ocaml.org/meetings/ocaml/2013/program.html > > >> > > >> The presentations have been video recorded. I'll let you know if and > > >> when they are online. > > >> > > >> Don't forget to submit a presentation to OCaml 2014 which should again > > >> be co-located with ICFP 2014. > > >> > > >> Cheers, > > >> > > >> -- > > >> Michel Mauny > > >> ENSTA ParisTech > > >> > > >> -- > > >> Caml-list mailing list. Subscription management and archives: > > >> https://sympa.inria.fr/sympa/arc/caml-list > > >> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > > >> Bug reports: http://caml.inria.fr/bin/caml-bugs > > > > -- > > Caml-list mailing list. Subscription management and archives: > > https://sympa.inria.fr/sympa/arc/caml-list > > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > > Bug reports: http://caml.inria.fr/bin/caml-bugs > > > > > > > > > > -- > > --------------------- > > https://twitter.com/#!/ontologiae/ > > http://linuxfr.org/users/montaigne > > -- > Michel Mauny > > ENSTA ParisTech > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > > -- Michel Mauny ENSTA ParisTech