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