Commit 6dd99184527638e48dd872a04fa5e445ce13792c Parent 2456659fdd244b0fdda0c5d510f17555e224d127 Author John MacFarlane <jgm@berkeley.edu> Date Fri, 5 Feb 2016 23:14:29 -0800 Updated spec.