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

Files and directories are:

this directory

pretzelbook project.report bibliographies styles
Felix Gaertner

To Pretzel Homepage.

Last modified: Wed Jul 9 10:55:27 MESZ 1997