Commit ace1b42818ebdbee46ca0153fb0b49e1494321e0 Parent f4e6bbd71314d4e9eccc8f75297fb78c28619827 Author John MacFarlane <jgm@berkeley.edu> Date Sun, 4 Jan 2015 23:16:39 -0800 Fixed spec.pdf target.