Age | Commit message (Collapse) | Author | |
---|---|---|---|
2015-01-15 | Fixed (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-15 | Re-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-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 | |