jgm/texmath — pull request #37 by mpickering (2014-07-23 15:49:45+00:00)
Title: More changes towards the release

Changes are described in the first commit message.