Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - texindex 1991-07-08 02:00 174 ix.extract 1991-07-08 02:00 219 ix.collapse 1991-07-08 02:00 433 ix.polish 1991-07-08 02:00 433 test.idx 1991-07-08 02:00 460 ix.rotate 1991-07-08 02:00 513 ix.format 1991-07-08 02:00 635 ix.genkey 1991-07-08 02:00 669 test.ind 1991-07-08 02:00 950 texindex.tex 1991-07-08 02:00 1.9K texindex.pdf 2006-07-18 15:02 22K