Binary package “pretzel” in ubuntu trusty
Prettyprinter generator for noweb
Pretzel is a system that builds prettyprinters; that is programs that
will take some plain ASCII source code and generate a LaTeXified version
for presentation.
.
Pretzel has hooks to integrate with noweb, so that code chunks may be
prettyprinted with pretzel's generated prettyprinters.
.
Example prettyprinter source for C, C++, Pascal, and Dijkstra's Guarded
Command Language are included.