Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - example-psfrag.tex 2020-10-08 22:06 222 README.txt 2020-10-08 22:06 547 example.tex 2020-10-08 22:06 578 auto-pst-pdf.ins 2020-10-08 22:06 758 auto-pst-pdf.dtx 2020-10-08 22:06 20K example.eps 2020-10-08 22:06 44K auto-pst-pdf.pdf 2020-10-08 22:06 192K