Commit be19ec302584732eca18de162a7eaf5d8649379e Parent e7232e399a66ea97ce2ed9303c71ec03245cc172 Author John MacFarlane <jgm@berkeley.edu> Date Sat, 24 Jan 2015 21:10:11 -0800 Removed spec-specific files (DTD, spec generation tools).