The LaTeX for Logicians pages have been woefully ignored of late. But at last — as a bit occupational therapy while my brain is still in a jet-lagged mush — I’ve started moving the pages to this site, updating content a little as I go. Using WordPress as a content management system should make it quite a bit easier to maintain the pages in the future.
The relevant pages now also have their very own — hopefully memorable — web-address, www.latexforlogicians.net. This address ought to remain stable even if someone else eventually inherits LaTeX for Logicians; so use it in any external links in future.
Oh wot geeky fun, playing with WordPress!