Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!van-bc!ubc-cs!uw-beaver!mit-eddie!bbn.com!mips2!jsantos
From: jsantos@cr.bull.com (Jim Santos)
Newsgroups: comp.text.tex
Subject: Converting dvi files to ascii
Message-ID: <jsantos.670021086@godzilla>
Date: 26 Mar 91 20:58:06 GMT
Sender: @mips2.cr.bull.com
Organization: Bull HN Informations Systems Inc.
Lines: 8

Hi,
	Is there a utility that I can use to convert dvi files to a
plain ascii representation?  Please respond via e-mail.

Thanks,

Jim Santos
James.Santos@bull.com