Name                    Last modified       Size  Description

 Parent Directory        14-Jul-2020 18:42      -  
 ix.collapse             08-Jul-1991 10:00     1k  
 ix.extract              08-Jul-1991 10:00     1k  
 ix.format               08-Jul-1991 10:00     1k  
 ix.genkey               08-Jul-1991 10:00     1k  
 ix.polish               08-Jul-1991 10:00     1k  
 ix.rotate               08-Jul-1991 10:00     1k  
 test.idx                08-Jul-1991 10:00     1k  
 test.ind                08-Jul-1991 10:00     1k  
 texindex                08-Jul-1991 10:00     1k  
 texindex.pdf            18-Jul-2006 23:02    22k  
 texindex.tex            08-Jul-1991 10:00     2k