Path: utzoo!utgpu!watmath!clyde!att!rutgers!gatech!cwjcc!tut.cis.ohio-state.edu!mailrus!ames!lll-winken!uunet!mcvax!enea!kth!draken!tut!tucos!moj
From: moj@tucos.UUCP (Matti Jokinen)
Newsgroups: comp.lang.clu
Subject: General-purpose pretty printer
Message-ID: <829@tucos.UUCP>
Date: 12 Jan 89 13:02:49 GMT
Distribution: inet
Lines: 14
Approved: moj@cs.utu.fi
X-posting-number: 39

A general-purpose pretty printer named `prettystream' is available
by anounymous ftp from tucos.utu.fi (128.214.27.20).  A compressed
tar file pub/clu/prettystream.tar.Z contains two clu source files
and a manual in LaTeX format.

`Prettystream' is a CLU cluster which can be used as an intelligent
back end for programs that produce clauses of some formal language.
The user program sees it as a stream composed of visible symbols and
elementary formatting instructions.  The user can specify a set of
alternative formats and the precedence of the alternatives.  The
prettyprinter attempts to automatically select the `best' layout that
fits on the bounded horizontal space available on the output medium.
`Prettystream' is a useful back-end for program generators, program
transformers, theorem provers, symbolic mathematical programs etc.