../ LICENSE 16-Aug-2022 19:36 102 Makefile 16-Aug-2022 19:36 3808 README 16-Aug-2022 19:36 1100 dash.sty 16-Aug-2022 19:36 396 latex-doc-ptr.css 16-Aug-2022 19:36 7665 latex-doc-ptr.css.replacement 16-Aug-2022 19:36 7666 latex-doc-ptr.html 16-Aug-2022 19:36 38782 latex-doc-ptr.pdf 16-Aug-2022 19:36 169323 latex-doc-ptr.sty 16-Aug-2022 19:36 8890 latex-doc-ptr.tex 16-Aug-2022 19:36 15081 massage_html.awk 16-Aug-2022 19:36 634