Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README 2002-04-04 14:57 1.9K endplate.sty 2002-04-03 14:55 7.4K plates.dvi 2002-04-04 15:07 12K plates.pdf 2002-04-04 15:07 90K plates.sty 2002-04-03 15:08 10K plates.tex 2002-04-04 15:06 7.9K