A full PDF of IFL2 is off to CUP! Again. And not for the last time, because there’s the whole process of sending it out a proof-reader still to be gone through. But it’s a major step on the road. The book is at last in a stable state, and it is — let’s hope — very minor tinkering from here on in.
Heavens, this all seems to have been a great deal of work. Remind me again why I agreed to do a second edition?