Commit c210285ad91e3aeaf75e36e53785d49e5e275bff Parent 17e6720dd9b5d25aeb906bb23915a6ee13a07e3d Author John MacFarlane <jgm@berkeley.edu> Date Fri, 10 Jul 2015 14:59:39 -0700 Updated spec.txt.