| Name | Size* | Date UTC | Notes |
|---|---|---|---|
| afm2tfm.exe | 57 KiB | 1993-Feb-03 | |
| dvi2tty.exe | 51 KiB | 1992-Aug-02 | |
| dvi2tty.txt | 1 KiB | 1995-Aug-08 | |
| dvi2tty.zip | 65 KiB | 1995-Aug-08 | |
| dvips.exe | 157 KiB | 1993-Feb-03 | |
| gfind.exe | 69 KiB | 1991-Sep-15 | |
| gftopk386.zip | 51 KiB | 1994-Nov-05 | |
| lacheck.exe | 56 KiB | 1992-Jun-30 | |
| makeindex.zip | 32 KiB | 1995-Feb-02 | |
| maketexpk.cmd | 11 KiB | 1993-Feb-03 | |
| ps2pk.exe | 131 KiB | 1992-Dec-13 | |
| t1ascii.exe | 33 KiB | 1992-Jul-13 | |
| t1binary.exe | 34 KiB | 1992-Jul-13 | |
| unzip.exe | 82 KiB | 1992-Aug-21 | |
| vv097exe.zip | 110 KiB | 1993-Feb-03 | |
| vv097src.zip | 131 KiB | 1993-Feb-03 | |
| zip.exe | 120 KiB | 1992-Aug-25 |
*File sizes in kibibytes.