%
% $Id: report.tex,v 1.3 1995/02/23 10:27:47 gaertner Exp $
%
% This is the global frame of the report for the
% pretzel project
%
% First Version designed from scratch on August 22, 1993.
%
% $Log: report.tex,v $
% Revision 1.3  1995/02/23  10:27:47  gaertner
% Changes bibliography input to use bibtex output.
%
% Revision 1.2  1994/10/24  18:30:56  gaertner
% Changed names of included files to current versions.
%
% Revision 1.1  1994/10/24  18:12:02  gaertner
% Initial revision
%
%
\documentstyle[pretzel]{report}

\makeindex % creates an .idx file for MakeIndex

\pagestyle{headings}

\begin{document}

% read the titlepage
\begin{titlepage}
\input{report-title}
\end{titlepage}

\begin{abstract}
\input{abstract}
\end{abstract}

\tableofcontents

\input{report-intro} % introduction

\input{chap1} % chapters ...

\input{chap2}

\input{chap3}

\input{chap4}

\input{chap5}

\input{acknowledge} % acknowledgements

\input{appendix}

\clearpage
\addcontentsline{toc}{chapter}{Bibliography}
\bibliographystyle{plain}
\bibliography{../bibliographies/prettyprinting,../bibliographies/litprog,../bibliographies/supplemental}

%
% At last we reach the index. The index was generated with the
% MakeIndex program.
\addcontentsline{toc}{chapter}{Index}

\printindex % reads the .ind file and prints the index


% Here we have reached the end!
\end{document}
