Commit 10d6247fbb2ae7f9c3e4e7e75384bcb990d83464 Parent bdcadff5dfb6f9513b7c109bf1523b6003406c53 Author John MacFarlane <jgm@berkeley.edu> Date Mon, 11 Jan 2016 10:52:06 -0800 Updated spec.txt. Currently there is one failing case. See #97.