Commit message (Expand) | Author | Age | |
---|---|---|---|
* | fix link to copyright.pdf | Christian Grothoff | 2017-07-29 |
* | 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 | 2017-05-23 |