Index file for directory "pretzel/output" of Pretzel distribution

Files and directories are:

this directory

README Makefile asciioutput.dvi asciioutput.nw blankoutput.nw output-specs.dvi output.nw outtest.nw test.output.correct
Felix Gaertner

To Pretzel Homepage.

Last modified: Wed Jul 9 16:13:41 MESZ 1997