| Name | Size | Date | |
| texi2dvi.cmd | 5381 | 11/23/1995 | |
| dir | 2341 | 9/4/1996 | |
| info.inf | 34113 | 11/28/1995 | |
| info-stn.inf | 53175 | 11/28/1995 | |
| info.exe | 167940 | 9/8/1996 | |
| makeinfo.exe | 114692 | 9/8/1996 | |
| texindex.exe | 53252 | 9/8/1996 | |
| makedvi.bat | 4935 | 9/4/1996 | |
| makedvi.cmd | 3922 | 9/4/1996 | |
| makeinf.bat | 149 | 9/4/1996 | |
| makeinf.cmd | 99 | 9/4/1996 | |
| texinfo.tex | 156990 | 6/13/1996 |