File Name ↓ | File Size ↓ | Date ↓ | |
---|---|---|---|
Parent directory/ | - | - | |
latex-doc-ptr.css | 7.5 KiB | 2021-Jan-02 16:03 | |
latex-doc-ptr.html | 37.9 KiB | 2021-Jan-02 16:03 | |
latex-doc-ptr.tex | 14.7 KiB | 2021-Jan-02 16:03 | |
latex-doc-ptr.pdf | 165.4 KiB | 2021-Jan-02 15:59 | |
README | 1.1 KiB | 2021-Jan-02 15:59 | |
Makefile | 3.7 KiB | 2021-Jan-02 15:58 | |
latex-doc-ptr.css.replacement | 7.5 KiB | 2021-Jan-02 12:11 | |
massage_html.awk | 634 B | 2021-Jan-02 12:09 | |
latex-doc-ptr.sty | 8.7 KiB | 2021-Jan-02 12:07 | |
LICENSE | 102 B | 2020-Dec-31 14:11 | |
dash.sty | 396 B | 2020-Dec-29 19:31 |