Commit ea17d4a1aac6d82d294a733068ffc6f65329797a Parent 52c591d75433b16cf32f4fae319ccb60b20f6ae7 Author John MacFarlane <jgm@berkeley.edu> Date Wed, 7 Jan 2015 11:25:14 -0800 Fixed 'make alltest.md'.