Index file for directory "pretzel/doc" of Pretzel distribution
Files and directories are:
this directory
These subdirectories contain the documentation of Pretzel.
pretzelbook the Pretzelbook -- the ultimate source of information on Pretzel
project.report the original report on the Pretzel project, included only for historical reasons because the information therin is old.
bibliographies the bibtex files used for the bibliography
styles various latex styles (includes also the pretzel-latex.sty)
Felix
Gaertner
To Pretzel
Homepage.
Last modified: Wed Jul 9 10:55:27 MESZ 1997