Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!husc6!cmcl2!brl-adm!adm!tab%cubes.UCI.EDU@ROME.UCI.EDU
From: tab%cubes.UCI.EDU@ROME.UCI.EDU (Tracey Baker)
Newsgroups: comp.unix.questions
Subject: Re: troff previewer for AT&T 5620
Message-ID: <7893@brl-adm.ARPA>
Date: Wed, 17-Jun-87 11:45:52 EDT
Article-I.D.: brl-adm.7893
Posted: Wed Jun 17 11:45:52 1987
Date-Received: Sun, 21-Jun-87 15:25:23 EDT
Sender: news@brl-adm.ARPA
Lines: 18


Yes, there is a pregram called 'proof' that does exactly what you
want.  I first saw it while at Bell Laboratories, and more recently
in AT&T's Technical Publications Dept.  Since I've only seen it
inside AT&T, I don't know if it is available to the public, but I
do know that it exists.  I may be able to dig up some more info on
this if you can't find it on your own, but I would suggest you talk
to your friendly neighborhood AT&T sales rep. and ask him/her about it.

---------
   Tracey Baker                             |
   Dept. of Information & Computer Science  |
   University of California, Irvine         | ARPA:tab@ics.uci.edu
   Irvine, CA 92717                         | UUCP:{whatever}!ucbvax!ucivax!tab
   (714) 856-4034                           |

"There ain't no cure when the rabid rock dog bites..."
----------