Age | Commit message (Collapse) | Author | |
---|---|---|---|
2015-01-24 | Removed spec-specific files (DTD, spec generation tools). | John MacFarlane | |
2015-01-15 | Fixed template path in tools/makespec.py. | John MacFarlane | |
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/. |