How do I get a printed copy of the Dinotrace manual?
A html file is available at http://www.veripool.org/dinotrace /index.html. Your web browser should be able to print this. The more ambitious can build the manual themselves. The texinfo source is included with Dinotrace. Typing `make dinotrace.dvi’ will create a dvi file that may then be printed with `dvips’. This will require TeX, texinfo, and a bunch of libraries, all good for a day’s worth of downloading.
