Commit cc818d27efdf7f1b4a60811c46f813b2a3149041 Parent 8270cf85fc1ee514ccef54d4c545e9ba97b4c003 Author John MacFarlane <jgm@berkeley.edu> Date Wed, 3 Jun 2015 09:30:26 +0200 Updated spec.txt.