![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/tex.gif){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| ix.collapse | 1991-07-07 18:00 | 433 |
| ix.extract | 1991-07-07 18:00 | 219 |
| ix.format | 1991-07-07 18:00 | 635 |
| ix.genkey | 1991-07-07 18:00 | 669 |
| ix.polish | 1991-07-07 18:00 | 433 |
| ix.rotate | 1991-07-07 18:00 | 513 |
| test.idx | 1991-07-07 18:00 | 460 |
| test.ind | 1991-07-07 18:00 | 950 |
| texindex | 1991-07-07 18:00 | 174 |
| texindex.pdf | 2006-07-18 07:02 | 22K |
| texindex.tex | 1991-07-07 18:00 | 1.9K |