Commit 055a7602d2822c962f6ca03d9fdcce35ea3959d8 Parent 3f7bdb1382cd3632cf813e165c4143bc8f7961d6 Author John MacFarlane <jgm@berkeley.edu> Date Thu, 27 Nov 2014 13:07:52 -0800 Changed more runtests -> spec_tests.