../ LICENSE 23-Oct-2022 05:29 102 Makefile 23-Oct-2022 05:29 3808 README 30-Sep-2024 02:52 831 dash.sty 23-Oct-2022 05:29 396 latex-doc-ptr.css 30-Sep-2024 02:37 7665 latex-doc-ptr.html 30-Sep-2024 02:37 40K latex-doc-ptr.pdf 30-Sep-2024 02:37 175K latex-doc-ptr.sty 30-Sep-2024 02:27 8890 latex-doc-ptr.tex 30-Sep-2024 02:31 15K massage_html.awk 23-Oct-2022 05:29 634