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