Some notes about the files in this directory:

These files contain the main documentation of the pretzel project.
This includes the main report, the user's manual (which is
part of the main report, but can be printed out on its own too)

                         W A R N I N G

 THIS DOCUMENTATION IS OLD AND ONLY COVERS PRETZEL UP TO VERSION 1.1!


Files:
------

Makefile		Makefile for documentation (see below)

report.tex		main frame of the report
report-title.tex	plain title (default)
report-title2.tex	ITI title
abstract.tex		the abstract
report-intro.tex	introduction
chap1.tex		chapter 1...
chap2.tex
chap3.tex
chap4.tex
chap5.tex
acknowledge.tex		acknowledgements
appendix.tex		intro to the appendix (see below ``full report'')

manual.tex		main frame of the user's manual
manual-title.tex	title of the manual
manual-intro.tex	introduction to the user's manual

erklaerung.tex		formal sheet for handing in

itititle.sty		only used for report-title2

slides.tex              slides for the pretzel presentation


Targets in the Makefile:
----------------------

report			make the report (approx. 50 pages)
manual			make the user's manual
fullreport		make the full report including various
			specifications (approx. 90 pages)

clean			remove all intermediate files
clobber			remove dvi files too

bundle			bundle all together into a tar file


Making a full report:
---------------------

The full version of the report (as it was handed in) includes various
specifications of the pretzel modules.  To understand the program you
will not need these specifications. However, if you want to make your
own changes to the source, you need a version of them.  But instead of
printing them out within the report, I suggest that you go into the
relevant subdirectories and print them out selectively.  Normally
there are Makefile rules to get a printout.


