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