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