Commit 68ab4cc72e709c86c976063945d3a37f0fbdb330 Parent cdcb65c5a209a1a3be4a1b9e804f5a4292127509 Author John MacFarlane <jgm@berkeley.edu> Date Sat, 13 Jun 2015 16:09:03 -0700 Updated spec.txt.