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