| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| LICENSE | 102 | 2022-Oct-22 21:29 |
| Makefile | 3808 | 2022-Oct-22 21:29 |
| dash.sty | 396 | 2022-Oct-22 21:29 |
| massage_html.awk | 634 | 2022-Oct-22 21:29 |
| latex-doc-ptr.sty | 8890 | 2024-Sep-29 18:27 |
| latex-doc-ptr.tex | 15170 | 2024-Sep-29 18:31 |
| latex-doc-ptr.pdf | 179459 | 2024-Sep-29 18:37 |
| latex-doc-ptr.css | 7665 | 2024-Sep-29 18:37 |
| latex-doc-ptr.html | 41196 | 2024-Sep-29 18:37 |
| README | 831 | 2024-Sep-29 18:52 |