| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| latex-doc-ptr.css | 7.5 KiB | Jan 2, 2021 |
| latex-doc-ptr.html | 37.9 KiB | Jan 2, 2021 |
| latex-doc-ptr.tex | 14.7 KiB | Jan 2, 2021 |
| latex-doc-ptr.pdf | 165.4 KiB | Jan 2, 2021 |
| README | 1.1 KiB | Jan 2, 2021 |
| Makefile | 3.7 KiB | Jan 2, 2021 |
| latex-doc-ptr.css.replacement | 7.5 KiB | Jan 2, 2021 |
| massage_html.awk | 634 B | Jan 2, 2021 |
| latex-doc-ptr.sty | 8.7 KiB | Jan 2, 2021 |
| LICENSE | 102 B | Dec 31, 2020 |
| dash.sty | 396 B | Dec 29, 2020 |