wenzelm@7838: \documentclass[12pt,a4paper]{report}
wenzelm@10580: \usepackage{supertabular}
wenzelm@28216: \usepackage{graphicx}
wenzelm@48937: \usepackage{iman,extra,isar,ttbox}
wenzelm@48937: \usepackage[nohyphen,strings]{underscore}
wenzelm@48937: \usepackage{isabelle,isabellesym}
wenzelm@48937: \usepackage{railsetup}
wenzelm@48937: \usepackage{style}
wenzelm@48937: \usepackage{pdfsetup}
wenzelm@28216: 
wenzelm@28216: \hyphenation{Isabelle}
wenzelm@28216: \hyphenation{Isar}
wenzelm@28216: 
wenzelm@28216: \isadroptag{theory}
wenzelm@3170: 
wenzelm@48579: \isabellestyle{literal}
wenzelm@3170: 
wenzelm@6623: \title{\includegraphics[scale=0.5]{isabelle} \\[4ex] The Isabelle System Manual}
wenzelm@3170: 
wenzelm@28216: \author{\emph{Makarius Wenzel} and \emph{Stefan Berghofer} \\
wenzelm@28916:   TU M\"unchen}
wenzelm@3170: 
wenzelm@3170: \makeindex
wenzelm@3170: 
wenzelm@3170: 
wenzelm@3170: \begin{document}
wenzelm@4540: 
wenzelm@3170: \maketitle 
wenzelm@3170: \pagenumbering{roman} \tableofcontents \clearfirst
wenzelm@3170: 
wenzelm@48937: \input{Basics.tex}
wenzelm@48937: \input{Interfaces.tex}
wenzelm@48937: \input{Sessions.tex}
wenzelm@48937: \input{Presentation.tex}
wenzelm@48937: \input{Scala.tex}
wenzelm@48937: \input{Misc.tex}
wenzelm@10580: 
wenzelm@7207: \begingroup
wenzelm@48057:   \tocentry{\bibname}
wenzelm@30116:   \bibliographystyle{abbrv} \small\raggedright\frenchspacing
wenzelm@48937:   \bibliography{manual}
wenzelm@7207: \endgroup
wenzelm@7207: 
wenzelm@48057: \tocentry{\indexname}
wenzelm@8828: \printindex
wenzelm@3170: 
wenzelm@3170: \end{document}