| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| massage_html.awk | 634 | 2021-Jan-02 12:09 |
| latex-doc-ptr.tex | 15081 | 2021-Jan-02 16:03 |
| latex-doc-ptr.sty | 8890 | 2021-Jan-02 12:07 |
| latex-doc-ptr.pdf | 169323 | 2021-Jan-02 15:59 |
| latex-doc-ptr.html | 38782 | 2021-Jan-02 16:03 |
| latex-doc-ptr.css.replacement | 7666 | 2021-Jan-02 12:11 |
| latex-doc-ptr.css | 7665 | 2021-Jan-02 16:03 |
| dash.sty | 396 | 2020-Dec-29 19:31 |
| README | 1100 | 2021-Jan-02 15:59 |
| Makefile | 3808 | 2021-Jan-02 15:58 |
| LICENSE | 102 | 2020-Dec-31 14:11 |