%
% $Id: appendix.tex,v 1.2 1995/04/20 13:22:25 gaertner Exp gaertner $
%
% $Log: appendix.tex,v $
% Revision 1.2  1995/04/20  13:22:25  gaertner
% Note the pagenumbering.
%
% Revision 1.1  1995/02/23  13:34:44  gaertner
% Initial revision
%
%

\chapter*{Appendix}

\addcontentsline{toc}{chapter}{Appendix}

\section*{Specifications}

Included in this report are the specifications of the following modules:

\begin{itemize}

\item The \id{Attribute} class and the \id{Output} class from the
  run-time library.

\item The scanners for the formatted token and formatted grammar
  files.

\item The generator functions \id{build\_pscan} and \id{build\_pparse}
  for the prettyprinting scanner and parser.

\item The generated prettyprinting scanner (default header file).

\item The generated prettyprinting parser (default header file).

\end{itemize}

\noindent Unfortunately I was unable to provide correct page numbers to these
parts of the report. However, the bibliography and the index at the
end are numbered correctly again.


