Stream: Coq devs & plugin devs

Topic: Old coqdev mailing list archives?


view this post on Zulip Jason Gross (Aug 09 2020 at 22:01):

I've stumbled upon https://github.com/coq/coq/commit/2dbe106c09b60690b87e31e58d505b1f4e05b57f from May 2007, with commit message "Processor integers + Print assumption (see coqdev mailing list for the details).". But the coqdev archives only go back to 2014. Are the older emails available anywhere?

view this post on Zulip Théo Zimmermann (Aug 10 2020 at 15:35):

I'm pretty sure @Hugo Herbelin has kept all the archives in his mailbox.

view this post on Zulip Hugo Herbelin (Aug 10 2020 at 20:32):

Théo Zimmermann said:

I'm pretty sure Hugo Herbelin has kept all the archives in his mailbox.

Indeed. This coqdev message describes what was done in this commit. I'm sending it to you by mail. Beside some parts being in French, this is casual commit-like information and @Arnaud Spiwack (Gitter import) would certainly not object to make it public.


Last updated: Sep 30 2023 at 16:01 UTC