| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| README | 831 B | 2024-Sep-29 18:52 | |
| latex-doc-ptr.css | 7.5 KiB | 2024-Sep-29 18:37 | |
| latex-doc-ptr.html | 40.2 KiB | 2024-Sep-29 18:37 | |
| latex-doc-ptr.pdf | 175.3 KiB | 2024-Sep-29 18:37 | |
| latex-doc-ptr.tex | 14.8 KiB | 2024-Sep-29 18:31 | |
| latex-doc-ptr.sty | 8.7 KiB | 2024-Sep-29 18:27 | |
| LICENSE | 102 B | 2022-Oct-22 21:29 | |
| Makefile | 3.7 KiB | 2022-Oct-22 21:29 | |
| dash.sty | 396 B | 2022-Oct-22 21:29 | |
| massage_html.awk | 634 B | 2022-Oct-22 21:29 | |