summaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Expand)Author
2015-06-16Mark entity data structures as const.John MacFarlane
2015-06-16entities: Make the first entity in the array (TripleDot) work.John MacFarlane
2015-06-16Replace gperf-based entity lookup with binary tree lookup.John MacFarlane
2015-01-24Removed spec-specific files (DTD, spec generation tools).John MacFarlane
2015-01-24Removed JS implementation, which is moving to its own repo:John MacFarlane
2015-01-17Added new fine-grained JS benchmarks.John MacFarlane
2015-01-15Fixed template path in tools/makespec.py.John MacFarlane
2015-01-15Fixed (interact) link in template.html.John MacFarlane
2015-01-15Re-added tools/{makespec.py, template.html, template.tex}.John MacFarlane
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