src/Doc/System/document/root.tex
author wenzelm
Fri May 17 19:04:52 2013 +0200 (2013-05-17)
changeset 52056 fc458f304f93
parent 48985 5386df44a037
child 55365 9d5aba2baa4c
permissions -rw-r--r--
added isabelle-process option -o;
     1 \documentclass[12pt,a4paper]{report}
     2 \usepackage{supertabular}
     3 \usepackage{graphicx}
     4 \usepackage{iman,extra,isar,ttbox}
     5 \usepackage[nohyphen,strings]{underscore}
     6 \usepackage{isabelle,isabellesym}
     7 \usepackage{railsetup}
     8 \usepackage{style}
     9 \usepackage{pdfsetup}
    10 
    11 \hyphenation{Isabelle}
    12 \hyphenation{Isar}
    13 
    14 \isadroptag{theory}
    15 
    16 \isabellestyle{literal}
    17 
    18 \title{\includegraphics[scale=0.5]{isabelle} \\[4ex] The Isabelle System Manual}
    19 
    20 \author{\emph{Makarius Wenzel} and \emph{Stefan Berghofer} \\
    21   TU M\"unchen}
    22 
    23 \makeindex
    24 
    25 
    26 \begin{document}
    27 
    28 \maketitle 
    29 \pagenumbering{roman} \tableofcontents \clearfirst
    30 
    31 \input{Basics.tex}
    32 \input{Interfaces.tex}
    33 \input{Sessions.tex}
    34 \input{Presentation.tex}
    35 \input{Scala.tex}
    36 \input{Misc.tex}
    37 
    38 \begingroup
    39   \tocentry{\bibname}
    40   \bibliographystyle{abbrv} \small\raggedright\frenchspacing
    41   \bibliography{manual}
    42 \endgroup
    43 
    44 \tocentry{\indexname}
    45 \printindex
    46 
    47 \end{document}