Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - Makefile 2009-06-16 09:14 661 README 2009-06-16 09:14 662 grid.pdf 2009-06-16 09:14 144K grid.sty 2009-06-16 09:14 9.2K grid.tex 2009-06-16 09:14 12K manifest.txt 2009-06-16 09:14 1.1K rvdtx.sty 2009-06-16 09:14 14K