I helped with the LaTeXing of Leroy's thesis (https://agrothendieck.github.io/divers/leroy.pdf), it was done in Overleaf and Mateo Carmona and Niels Borne did the initial transcription and proof-reading/editing while I typeset in the diagrams. Best, David David Roberts Webpage: https://ncatlab.org/nlab/show/David+Roberts Blog: https://thehighergeometer.wordpress.com On Thu, 18 Jan 2024 at 09:49, Ben Webster <bwebste@gmail.com<mailto:bwebste@gmail.com>> wrote: CAUTION: External email. Only click on links or open attachments from trusted senders. ________________________________ If you use Overleaf, you won’t even have to worry about putting them together, people can just work simultaneously in the document. From: Michael Barr, Prof. <barr.michael@mcgill.ca<mailto:barr.michael@mcgill.ca>> Date: Wednesday, January 17, 2024 at 4:30 PM To: cmuster@gmx.net<mailto:cmuster@gmx.net> <cmuster@gmx.net<mailto:cmuster@gmx.net>>, categories@mq.edu.au<mailto:categories@mq.edu.au> <categories@mq.edu.au<mailto:categories@mq.edu.au>> Subject: Bill's Laval notes Let's suppose we can find a copy. Fatima has asked Danilo, who is dealing with Bill's paper, to look for it. Is there enough interest to support a retyping project? I would be willing to coordinate it, as I have done with a couple of other things not published in regular journals. The idea is to get enough people to type maybe 10 pages each, then I would put them together, get the LaTeX coordinated and post it somewhere, maybe as a TAC reprint. Michael You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files | Leave group | Learn more about Microsoft 365 Groups You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>