Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - ltxindex.sty 2008-06-06 02:24 7.3K ltxindex.pdf 2008-06-06 02:28 78K ltxindex.dtx 2008-06-06 02:28 18K copying.txt 1999-08-31 15:37 18K README 2007-01-10 15:01 566