summaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Collapse)Author
2015-01-15Re-added tools/{makespec.py, template.html, template.tex}.John MacFarlane
These were inadvertently dropped in the commit that described them as being moved to tools/.
2015-01-12Moved spec2js.js to tools/.John MacFarlane
2015-01-12Moved templates, makespec.py, and specfilter.hs -> tools/.John MacFarlane
2015-01-12Moved mkcasefold.pl to tools/.John MacFarlane