Commit 0978e3eb42cd5e67e31f19796975f5dc524344ba Parent c210285ad91e3aeaf75e36e53785d49e5e275bff Author John MacFarlane <jgm@berkeley.edu> Date Sat, 11 Jul 2015 08:34:07 -0700 Updated spec.txt.