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