../ LICENSE 25-Feb-2021 19:42 102 Makefile 25-Feb-2021 19:42 3808 README 25-Feb-2021 19:42 1100 dash.sty 25-Feb-2021 19:42 396 latex-doc-ptr.css 25-Feb-2021 19:42 7665 latex-doc-ptr.css.replacement 25-Feb-2021 19:42 7666 latex-doc-ptr.html 25-Feb-2021 19:42 38782 latex-doc-ptr.pdf 25-Feb-2021 19:42 169323 latex-doc-ptr.sty 25-Feb-2021 19:42 8890 latex-doc-ptr.tex 25-Feb-2021 19:42 15081 massage_html.awk 25-Feb-2021 19:42 634