aboutsummaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Collapse)Author
2015-10-19Modified specfilter.hs to account for last change.John MacFarlane
2015-10-19Use 'display:inline-block' rather than floats for side-by-side.John MacFarlane
This works when printed too.
2015-10-19Added better print CSS.John MacFarlane
2015-08-16Added version to coverpage in PDF version of spec.John MacFarlane
2015-07-29makespec.py: Use check_output for simpler pipe_through_progJohn MacFarlane
2015-07-28Another encoding fix in makespec.py.John MacFarlane
2015-07-28Fixed dumb mistake in makespec.py.John MacFarlane
2015-07-28Fixed typo in makespec.py.John MacFarlane
2015-07-28Fixed various problems with spec.pdf generation.John MacFarlane
Closes #353.
2015-07-28makespec.py: avoid encoding errors.John MacFarlane
Partially addresses #353.
2015-07-22Avoid extra space before section number in spec.md.John MacFarlane
2015-03-04Fixed dingus link in tools/template.html.John MacFarlane
2015-02-14Use --smart option in producing spec.John MacFarlane
2015-02-06New dingus location for interact links.John MacFarlane
2015-02-06Revert "Use new dingus address and hash format for "interact" links."John MacFarlane
This reverts commit 75725d2c9fd81580886580923b09c2b485df3d6e.
2015-02-04Use new dingus address and hash format for "interact" links.John MacFarlane
2015-01-24Updated makespec.py to use `cmark` in path.John MacFarlane
2015-01-24Removed implementation-specific material from repository.John MacFarlane
The C and JS implementations are being split off into different repositories. This repository will just have the spec itself.
2015-01-24Removed JS implementation, which is moving to its own repo:John MacFarlane
<https://github.com/jgm/commonmark.js>
2015-01-17Added new fine-grained JS benchmarks.John MacFarlane
And a script to run them.
2015-01-15Fixed template path in tools/makespec.py.John MacFarlane
2015-01-15Fixed (interact) link in template.html.John MacFarlane
This broke when we switched from pandoc to cmark for the spec, because the class on code changed from 'markdown' to 'language-markdown'.
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