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