UH2@PSUVM.BITNET (Lee Sailer) (02/23/88)
To answer my own earlier question, I am told that the DVI to IBM 3812 translator is part of the TeX distribution Tape for CMS.