moj@tucos.UUCP (Matti Jokinen) (01/12/89)
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.