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?
I'm pretty sure @Hugo Herbelin has kept all the archives in his mailbox.
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: Oct 15 2021 at 19:03 UTC