Age | Commit message (Expand) | Author |
---|---|---|
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 |