src/Doc/System/document/root.tex
changeset 48985 5386df44a037
parent 48937 e7418f8d49fe
child 55365 9d5aba2baa4c
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/Doc/System/document/root.tex	Tue Aug 28 18:57:32 2012 +0200
     1.3 @@ -0,0 +1,47 @@
     1.4 +\documentclass[12pt,a4paper]{report}
     1.5 +\usepackage{supertabular}
     1.6 +\usepackage{graphicx}
     1.7 +\usepackage{iman,extra,isar,ttbox}
     1.8 +\usepackage[nohyphen,strings]{underscore}
     1.9 +\usepackage{isabelle,isabellesym}
    1.10 +\usepackage{railsetup}
    1.11 +\usepackage{style}
    1.12 +\usepackage{pdfsetup}
    1.13 +
    1.14 +\hyphenation{Isabelle}
    1.15 +\hyphenation{Isar}
    1.16 +
    1.17 +\isadroptag{theory}
    1.18 +
    1.19 +\isabellestyle{literal}
    1.20 +
    1.21 +\title{\includegraphics[scale=0.5]{isabelle} \\[4ex] The Isabelle System Manual}
    1.22 +
    1.23 +\author{\emph{Makarius Wenzel} and \emph{Stefan Berghofer} \\
    1.24 +  TU M\"unchen}
    1.25 +
    1.26 +\makeindex
    1.27 +
    1.28 +
    1.29 +\begin{document}
    1.30 +
    1.31 +\maketitle 
    1.32 +\pagenumbering{roman} \tableofcontents \clearfirst
    1.33 +
    1.34 +\input{Basics.tex}
    1.35 +\input{Interfaces.tex}
    1.36 +\input{Sessions.tex}
    1.37 +\input{Presentation.tex}
    1.38 +\input{Scala.tex}
    1.39 +\input{Misc.tex}
    1.40 +
    1.41 +\begingroup
    1.42 +  \tocentry{\bibname}
    1.43 +  \bibliographystyle{abbrv} \small\raggedright\frenchspacing
    1.44 +  \bibliography{manual}
    1.45 +\endgroup
    1.46 +
    1.47 +\tocentry{\indexname}
    1.48 +\printindex
    1.49 +
    1.50 +\end{document}