# Index file for directory "" of Pretzel distribution

Files and directories are:

this directory

Project Report of Pretzel V.1.1 (WARNING: OLD INFORMATION)

Makefile

Makefile for documentation

README

more details on the files herin

report.dvi.gz

full version of the project report

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 (full appendix not available automatically, see README)

manual.tex

main frame of the user's manual (old)

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

To Pretzel Homepage.

Last modified: Tue Jan 13 14:30:09 MEZ 1998