Index file for directory "pretzel" of Pretzel distribution
	Files and directories are:
this directory	 Main directory of the Pretzel distribution 
COPYING Copying Conditions (GNU GPL) 
Makefile	
README		
TODO		
alloca.c Fix to the GNU malloc function 
attr		
bin		
contrib Contributed software (noweb stuff is here) 
diary		
diary-1.1 Diary of Pretzel up to version 1.1 
doc Documentation (PretzelBook is here) 
fgrammar Prettyprinter generator function 
ftokens		
include include files for runtime library 
index.html	
index.list list of files for index.html 
languages example plain Pretzel grammars 
main		
man		
output		
pretzel-it The pretzel-it shell script 
    Felix
    Gaertner
    
      To Pretzel
 Homepage.
      
Last modified: Wed Jul  9 09:06:28 MESZ 1997