doc-src/System/system.tex
author wenzelm
Sat Apr 28 17:50:42 2012 +0200 (2012-04-28)
changeset 47825 4f25960417ae
parent 42668 b98f22593f97
child 48057 72197611f1e9
permissions -rw-r--r--
some coverage of Isabelle/Scala tools;
     1 \documentclass[12pt,a4paper]{report}
     2 \usepackage{supertabular}
     3 \usepackage{graphicx}
     4 \usepackage{../iman,../extra,../isar,../ttbox}
     5 \usepackage[nohyphen,strings]{../underscore}
     6 \usepackage{../../lib/texinputs/isabelle,../../lib/texinputs/isabellesym}
     7 \usepackage{../../lib/texinputs/railsetup}
     8 \usepackage{../IsarRef/style}
     9 \usepackage{../pdfsetup}
    10 
    11 \hyphenation{Isabelle}
    12 \hyphenation{Isar}
    13 
    14 \isadroptag{theory}
    15 
    16 \isabellestyle{it}
    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{Thy/document/Basics.tex}
    32 \input{Thy/document/Interfaces.tex}
    33 \input{Thy/document/Presentation.tex}
    34 \input{Thy/document/Scala.tex}
    35 \input{Thy/document/Misc.tex}
    36 
    37 \begingroup
    38   \bibliographystyle{abbrv} \small\raggedright\frenchspacing
    39   \bibliography{../manual}
    40 \endgroup
    41 
    42 \printindex
    43 
    44 \end{document}