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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 9EFD17F734 for ; Sat, 12 Sep 2015 19:26:35 +0200 (CEST) IronPort-PHdr: 9a23:AELrIh/M8nUamf9uRHKM819IXTAuvvDOBiVQ1KB80+4cTK2v8tzYMVDF4r011RmSDdmdsasP1LSempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+lRsiI1o/oiaibwN76XUZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwuwwZgf8q9tZBXKPmZOx4COUAVHV1BVso/9XmvgXvSg6G531UEjlH00kAPw+Q3BjkX5rr+g/3rO1skH2qNNP3QKpyfTm46LZDSRnyiS5BOSRvo0/Njcklo6tRuhOso1REyI7ZeoyPfK5xd6nHfN4eA3FKXstLWjZpDYa1bo9JBO0Ea7UL57LhrkcD+EPtTTKnA/nin3oV33I= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-ig0-f179.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.213.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.213.179 as permitted sender) identity=mailfrom; client-ip=209.85.213.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ig0-f179.google.com) identity=helo; client-ip=209.85.213.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-ig0-f179.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BlAQDcUvRVm7PVVdFdg3dpBoMkqSSFBotpgXiFeQKBGAc5EwEBAQEBAQEBEAEBAQEBBgsLCSEugh2CBgEBAQMBEhEdARsSCwEDAQsGBQsNAgIJHQICIgERAQUBChIGExIQh3YBAwoIDah9gTA+MYtGgWyCeYlaChknAwpWhBcBAQEBAQEBAwEBAQEBFwEFDoEUhVGEfYQ5VAeCaYFDBYV7DI9PhQqHcYISlx0SI4EXIgGCRA0cgVY8M4hegT8BAQE X-IPAS-Result: A0BlAQDcUvRVm7PVVdFdg3dpBoMkqSSFBotpgXiFeQKBGAc5EwEBAQEBAQEBEAEBAQEBBgsLCSEugh2CBgEBAQMBEhEdARsSCwEDAQsGBQsNAgIJHQICIgERAQUBChIGExIQh3YBAwoIDah9gTA+MYtGgWyCeYlaChknAwpWhBcBAQEBAQEBAwEBAQEBFwEFDoEUhVGEfYQ5VAeCaYFDBYV7DI9PhQqHcYISlx0SI4EXIgGCRA0cgVY8M4hegT8BAQE X-IronPort-AV: E=Sophos;i="5.17,518,1437429600"; d="scan'208";a="177131081" Received: from mail-ig0-f179.google.com ([209.85.213.179]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 12 Sep 2015 19:26:34 +0200 Received: by igcpb10 with SMTP id pb10so65364463igc.1; Sat, 12 Sep 2015 10:26:33 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=1kn/hKXUCnoeiyLCOH3NMN60Pqfgy5enmZSeKhI0zWE=; b=kztDrf3fQeYaMbX7pc7lqfTSHQqcI+kMgUtOhIXzBSa0sHuU8Pa6HwQCpjeCominEA 9FmvCp6dWyIancYIU17dVP0lg77OYEmgjN2GE4S3MGtOp2EODw3Kk0dQxvUX/O6IUkqJ Yzgkbg9Z+NdJYhZgP0zJHphYEXQ5hEdTxCM6rkWkkFyT/fVTlG8S+WF6huyP+Wh0EAXo uAlnEHBt6i5RQRtgQLQnwKUaAnaqcnojNngbPnrXqfttf1Mamj2jcIsOyCEfmazKwoxp JyAUkoERTZH0IZw4+6ZzeE4UqgZAtKZPViUi2DCxQUOJEMJph3yTpXtuoBMMf7nT/Knk gN6A== X-Received: by 10.50.43.193 with SMTP id y1mr5910371igl.38.1442078793553; Sat, 12 Sep 2015 10:26:33 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.19.68 with HTTP; Sat, 12 Sep 2015 10:25:54 -0700 (PDT) In-Reply-To: <55F45DF8.80601@inria.fr> References: <20150911100019.C167F7F1AC@sympa.inria.fr> <55F2B739.9060106@bioquant.uni-heidelberg.de> <55F45DF8.80601@inria.fr> From: Gabriel Scherer Date: Sat, 12 Sep 2015 19:25:54 +0200 Message-ID: To: Xavier Leroy Cc: caml users Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] google groups list archive > There's always https://sympa.inria.fr/sympa/arc/caml-list > (full archives since 09/1992, yeah!) This archive is excellent in term of content, but it is an absolute pain to use as an interface. My workflow to refer someone to a mailing-list conversation I remember is to search for it in my mailbox, find the posting date, and then navigate the archive from this date. The search feature in particular is completely unusable. For example I recently wanted to refer to an old message of mine about the various LLVM port, written in the thread about SystemZ. I find it absolutely impossible to find this thread by searching for either LLVM or SystemZ through the archive interface. I have no idea who can tweak the list settings and whether this is even possible (I somehow doubt that the search ability can be made to work), but here is a minor change that would already considerably improve the usability of the archive: getting rid of the paging of the month's threads For example, august 2015 mailing-list threads are split between 9 pages which makes them unnecessarily painful to navigate. On Sat, Sep 12, 2015 at 7:16 PM, Xavier Leroy wrote: > On 12/09/15 18:59, Ashish Agarwal wrote: >> It was also mentioned that GMANE has a good archive [1], so I'll go ahead >> and link to that from ocaml.org . >> [1] https://github.com/ocaml/ocaml.org/issues/699#issuecomment-139484115 > > It seems to have the same problem of messages expiring after 2 weeks. > > There's always https://sympa.inria.fr/sympa/arc/caml-list > (full archives since 09/1992, yeah!) > > - Xavier Leroy > > > > -- > 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