Commit 645ea4e735a85c7554e0247015ed8f61d4888a86 Parent 68ab4cc72e709c86c976063945d3a37f0fbdb330 Author John MacFarlane <jgm@berkeley.edu> Date Sat, 13 Jun 2015 16:33:36 -0700 Updated spec.txt.