Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - latex-doc-ptr.pdf 2024-09-29 20:37 175K latex-doc-ptr.html 2024-09-29 20:37 40K latex-doc-ptr.tex 2024-09-29 20:31 15K latex-doc-ptr.sty 2024-09-29 20:27 8.7K latex-doc-ptr.css 2024-09-29 20:37 7.5K Makefile 2022-10-22 23:29 3.7K README 2024-09-29 20:52 831 massage_html.awk 2022-10-22 23:29 634 dash.sty 2022-10-22 23:29 396 LICENSE 2022-10-22 23:29 102