| Age | Commit message (Expand) | Author |
|---|---|---|
| 2015-01-15 | Re-added tools/{makespec.py, template.html, template.tex}. | John MacFarlane |
| 2015-01-12 | Moved spec2js.js to tools/. | John MacFarlane |
| 2015-01-12 | Moved templates, makespec.py, and specfilter.hs -> tools/. | John MacFarlane |
| 2015-01-12 | Moved mkcasefold.pl to tools/. | John MacFarlane |
