(BIN) afm2tfm.exe
 (BIN) dvi2tty.exe
 (TXT) dvi2tty.txt
 (ARC) dvi2tty.zip
 (BIN) dvips.exe
 (BIN) gfind.exe
 (ARC) gftopk386.zip
 (BIN) lacheck.exe
 (ARC) makeindex.zip
 (TXT) maketexpk.cmd
 (BIN) ps2pk.exe
 (BIN) t1ascii.exe
 (BIN) t1binary.exe
 (BIN) unzip.exe
 (ARC) vv097exe.zip
 (ARC) vv097src.zip
 (BIN) zip.exe