Commit 22fa64426a24df5b906bf39e718acf1d64e5d8cf Parent 8d599b758b102dae686d5122146e379cb4a204b8 Author John MacFarlane <jgm@berkeley.edu> Date Sat, 6 Feb 2016 14:50:55 -0800 Updated spec.