Blowing the dust off LaTeX for Logicians

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...