Commit aca7161e53ec40f6979d024d84afeb36fa911292 Parent ef1f7f5870782471d12fdd784a15ea71cb267348 Author John MacFarlane <jgm@berkeley.edu> Date Sat, 25 Jul 2015 22:09:00 -0700 Updated spec.txt.