The Coq mailing list

[Gabriel Scherer <gabriel.scherer AT gmail.com>]

My personal technique (I use this for caml-list but it works for
coq-club just as well) is to search for the conversation of interest
inside my mailbox, look at the dates of the messages, and then access
https://sympa.inria.fr/sympa/arc/coq-club/<year>-<month>/ to find an
external reference to the thread I'm looking for.

You said there was a followup in September 2013, which was easily
found by browsing (using the lateral arrows) from
  https://sympa.inria.fr/sympa/arc/coq-club/2013-09
to be
  https://sympa.inria.fr/sympa/arc/coq-club/2013-09/msg00075.html

(I certainly agree that this interface is terrible.)

On Sat, Aug 1, 2015 at 4:55 PM, Bas Spitters 
<b.a.w.spitters AT gmail.com>
 wrote:
> What's the best way to search the archives of coq-club?
> Googling often does not work. Neither does this give me what I want:
>
> http://coq-club.inria.narkive.com/
>
> For concreteness, I was trying to find an online version of the thread:
> "Core Verifier of Coq"
>
> A first part is here (google does not find it).
> https://sympa.inria.fr/sympa/arc/coq-club/2013-05/msg00071.html
> but there is a follow up in Sept 2013.
>
>
> I think the archives are valuable and it would be good if it can be
> easily found with a search engine.
> Are other people experiencing the same problem?
>
> Aside, it would be great to have a digest about Coq's indenpendent
> verifier in the wiki.