wenzelm@3170: 
wenzelm@3170: %% $Id$
wenzelm@3170: 
wenzelm@7838: \documentclass[12pt,a4paper]{report}
wenzelm@7838: \usepackage{graphicx,../iman,../extra,../pdfsetup}
wenzelm@3170: 
wenzelm@3170: 
wenzelm@6623: \title{\includegraphics[scale=0.5]{isabelle} \\[4ex] The Isabelle System Manual}
wenzelm@3170: 
wenzelm@7258: \author{\emph{Markus Wenzel} and \emph{Stefan Berghofer} \\
wenzelm@4553:   TU M\"unchen}
wenzelm@3170: 
wenzelm@3170: \makeindex
wenzelm@3170: 
wenzelm@3170: \setcounter{secnumdepth}{1} \setcounter{tocdepth}{2}
wenzelm@3170: 
wenzelm@3170: \pagestyle{headings}
wenzelm@3170: \sloppy
wenzelm@3170: \binperiod     %%%treat . like a binary operator
wenzelm@3170: 
wenzelm@3170: \begin{document}
wenzelm@4540: 
wenzelm@3170: \underscoreoff
wenzelm@3170: 
wenzelm@3170: \maketitle 
wenzelm@3170: \pagenumbering{roman} \tableofcontents \clearfirst
wenzelm@3170: 
wenzelm@3188: \include{basics}
wenzelm@7849: \include{present}
wenzelm@7849: \include{fonts}
wenzelm@3188: \include{misc}
wenzelm@3170: 
wenzelm@7207: \begingroup
wenzelm@7207:   \bibliographystyle{plain} \small\raggedright\frenchspacing
wenzelm@7207:   \bibliography{../manual}
wenzelm@7207: \endgroup
wenzelm@7207: 
wenzelm@4540: \input{system.ind}
wenzelm@3170: 
wenzelm@3170: \end{document}