My hope of a new version each month has clearly not worked out! But here is one for April, just before the month ends. As usual, a random selection of corrections and minor improvements have been dealt with, and many more remain to do.

The April version is posted at the usual place (the April 29, 2015 version).

Advertisements