Commit 940b204d7e23ea2cc6d8987e0a55e13040c901c2 Parent 54a96ac0ad071ba90a1eff05fad5376f4ba2463e Author John MacFarlane <jgm@berkeley.edu> Date Thu, 2 Jun 2016 09:45:02 -0700 Updated spec.txt (no new or changed test cases).