waldorf@venice.SEDD.TRW.COM (jerry waldorf) (03/27/90)
I am looking for a tool that will convert the Tex DVI format to a regular ascii text. No graphics or tables just the basic text. Any pointers would be greatly appreciated. Thanks.