Age | Commit message (Expand) | Author |
---|---|---|
2015-02-06 | New dingus location for interact links. | John MacFarlane |
2015-02-06 | Revert "Use new dingus address and hash format for "interact" links." | John MacFarlane |
2015-02-04 | Use new dingus address and hash format for "interact" links. | John MacFarlane |
2015-01-24 | Updated makespec.py to use `cmark` in path. | John MacFarlane |
2015-01-24 | Removed implementation-specific material from repository. | John MacFarlane |
2015-01-24 | Removed JS implementation, which is moving to its own repo: | John MacFarlane |
2015-01-17 | Added new fine-grained JS benchmarks. | John MacFarlane |
2015-01-15 | Fixed template path in tools/makespec.py. | John MacFarlane |
2015-01-15 | Fixed (interact) link in template.html. | John MacFarlane |
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 |