As I write this, I’m printing out a hard copy of the Gödel book — hopefully the version to be taken along to CUP along with the PDF file when they re-open next week.
I’ve been tinkering with this second edition, on and off, since I got the contract back in July 2011 (and no doubt bored everyone who visits here by talking about it so much). It’s a long-ish book: 403 pages in all, with lots of symbols, lots of cross-references to resolve, not to mention auto generated bibliography and index. I’ve been using TeXShop + LaTeX (plus BibDesk) on a Mac. How many times did this document processing system crash, foul-up, or produce unintended gremlins over the eighteen months?
Zero. Yep, zero.
I’d say I was really impressed if it weren’t what I’ve come to take for granted. But it is pretty amazing now I stop to think about it. So it surely should occasionally still be said: Three cheers for LaTeX, for BibDesk, and not least to Richard Koch for TeXShop, my constant companion!