Commit fed6a57f30ecdbcf4805b1900dd0f164856c1163 Parent 6740322cc41a4f65c1dba81bb4dfe9b8621dc430 Author John MacFarlane <jgm@berkeley.edu> Date Mon, 12 Jan 2015 20:36:22 -0800 Moved templates, makespec.py, and specfilter.hs -> tools/.