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;
wenzelm@7838
     1
\documentclass[12pt,a4paper]{report}
wenzelm@10580
     2
\usepackage{supertabular}
wenzelm@28216
     3
\usepackage{graphicx}
wenzelm@48937
     4
\usepackage{iman,extra,isar,ttbox}
wenzelm@48937
     5
\usepackage[nohyphen,strings]{underscore}
wenzelm@48937
     6
\usepackage{isabelle,isabellesym}
wenzelm@48937
     7
\usepackage{railsetup}
wenzelm@48937
     8
\usepackage{style}
wenzelm@48937
     9
\usepackage{pdfsetup}
wenzelm@28216
    10
wenzelm@28216
    11
\hyphenation{Isabelle}
wenzelm@28216
    12
\hyphenation{Isar}
wenzelm@28216
    13
wenzelm@28216
    14
\isadroptag{theory}
wenzelm@3170
    15
wenzelm@48579
    16
\isabellestyle{literal}
wenzelm@3170
    17
wenzelm@6623
    18
\title{\includegraphics[scale=0.5]{isabelle} \\[4ex] The Isabelle System Manual}
wenzelm@3170
    19
wenzelm@28216
    20
\author{\emph{Makarius Wenzel} and \emph{Stefan Berghofer} \\
wenzelm@28916
    21
  TU M\"unchen}
wenzelm@3170
    22
wenzelm@3170
    23
\makeindex
wenzelm@3170
    24
wenzelm@3170
    25
wenzelm@3170
    26
\begin{document}
wenzelm@4540
    27
wenzelm@3170
    28
\maketitle 
wenzelm@3170
    29
\pagenumbering{roman} \tableofcontents \clearfirst
wenzelm@3170
    30
wenzelm@48937
    31
\input{Basics.tex}
wenzelm@48937
    32
\input{Interfaces.tex}
wenzelm@48937
    33
\input{Sessions.tex}
wenzelm@48937
    34
\input{Presentation.tex}
wenzelm@48937
    35
\input{Scala.tex}
wenzelm@48937
    36
\input{Misc.tex}
wenzelm@10580
    37
wenzelm@7207
    38
\begingroup
wenzelm@48057
    39
  \tocentry{\bibname}
wenzelm@30116
    40
  \bibliographystyle{abbrv} \small\raggedright\frenchspacing
wenzelm@48937
    41
  \bibliography{manual}
wenzelm@7207
    42
\endgroup
wenzelm@7207
    43
wenzelm@48057
    44
\tocentry{\indexname}
wenzelm@8828
    45
\printindex
wenzelm@3170
    46
wenzelm@3170
    47
\end{document}