Age | Commit message (Expand) | Author |
---|---|---|
2017-06-03 | fix copyright link | 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 |