Commit 774b2e6f9d3a5f65037728b4aacf9efee3f54e9d Parent 93aeacca3061b490e77047e08def107c6ab1f7b2 Author John MacFarlane <jgm@berkeley.edu> Date Tue, 12 Jan 2016 21:59:38 -0800 Updated spec.txt