Age | Commit message (Expand) | Author |
---|---|---|
2019-09-02 | Adjust repository layout (resolves #5596), add sitemap.xml generator. | ng0 |
2017-07-29 | fix link to copyright.pdf | Christian Grothoff |
2017-05-23 | point to TeX source | Christian Grothoff |
2017-05-23 | explain better, add link, nicer formatting | Christian Grothoff |
2017-05-23 | post copyright assignment | Christian Grothoff |