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