dvidvi.zip      58727  08-29-92  Utility for re-paginating TeX files
dvips554.zip   592893  03-07-94  Convert a TeX DVI file to PostScript, v 5.54
dvipssrc.zip   630214  03-07-94  Convert a TeX DVI file to PostScript, v5.525
                               | (source)
lachec18.zip    61246  08-08-93  LaCheck: a lint for LaTeX
pmtex.zip       50028  12-23-92  PM-TEX: A TeX-Shell for OS/2
                               | Presentation-Manager