../ LICENSE 23-Oct-2022 02:59 102 Makefile 23-Oct-2022 02:59 3808 README 30-Sep-2024 00:22 831 dash.sty 23-Oct-2022 02:59 396 latex-doc-ptr.css 30-Sep-2024 00:07 7665 latex-doc-ptr.html 30-Sep-2024 00:07 40K latex-doc-ptr.pdf 30-Sep-2024 00:07 175K latex-doc-ptr.sty 29-Sep-2024 23:57 8890 latex-doc-ptr.tex 30-Sep-2024 00:01 15K massage_html.awk 23-Oct-2022 02:59 634