A pretty good prettyprinter that works with Java and noweb (in LaTeX
mode).

After installing Pretzel, try typing `make' here. This will weave and
prettyprint Hanoi.nw, a Java implementation of the towers of Hanoi
with four landing places.

To prettyprint your own stuff, try:

   noweave -delay -filter prettyjava -index file.nw > file.tex

Your document should use the pretzel-noweb LaTeX package and look a
little like this:

    \documentclass{article}
    \usepackage{noweb}
    \usepackage{pretzel-noweb}
    %
    \begin{document}

    ... % rest of the noweb file

    \end{document}

Note that you have to usepackage pretzel-noweb _after_ noweb and issue
-filter prettyjava _before_ the -index switch on the command line.

You can use format commands in the source code a la CWEB, e.g. you
can say:

    stuff //@/

or

    stuff //@force

(both act like a `force' format command) and you can say

    stuff //@cancel

to issue a  non-standard `cancel'.  More can be built in
quite easily.


Problems:

 - class names are typeset in bold only after they have been defined.
 - Indexing is a little confusing sometimes and needs some fine tuning
   (especially distinguishing definition and use)


What do you think?

