../ LICENSE 31-Dec-2020 21:11 102 Makefile 02-Jan-2021 22:58 3808 README 02-Jan-2021 22:59 1100 dash.sty 30-Dec-2020 02:31 396 latex-doc-ptr.css 02-Jan-2021 23:03 7665 latex-doc-ptr.css.replacement 02-Jan-2021 19:11 7666 latex-doc-ptr.html 02-Jan-2021 23:03 38782 latex-doc-ptr.pdf 02-Jan-2021 22:59 169323 latex-doc-ptr.sty 02-Jan-2021 19:07 8890 latex-doc-ptr.tex 02-Jan-2021 23:03 15081 massage_html.awk 02-Jan-2021 19:09 634