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)

