wneuper/isa: doc-src/System/system.tex@20e3616b2d9c

     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{../IsarRef/style}

     8 \usepackage{../pdfsetup}

    10 \hyphenation{Isabelle}

    11 \hyphenation{Isar}

    13 \isadroptag{theory}

    15 \isabellestyle{it}

    17 \title{\includegraphics[scale=0.5]{isabelle} \\[4ex] The Isabelle System Manual}

    19 \author{\emph{Makarius Wenzel} and \emph{Stefan Berghofer} \\

    20   TU M\"unchen}

    22 \makeindex

    25 \begin{document}

    27 \maketitle

    28 \pagenumbering{roman} \tableofcontents \clearfirst

    30 \input{Thy/document/Basics.tex}

    31 \input{Thy/document/Interfaces.tex}

    32 \input{Thy/document/Presentation.tex}

    33 \input{Thy/document/Misc.tex}

    35 \begingroup

    36   \bibliographystyle{abbrv} \small\raggedright\frenchspacing

    37   \bibliography{../manual}

    38 \endgroup

    40 \printindex

    42 \end{document}

author	Walther Neuper <neuper@ist.tugraz.at>
	Thu, 12 Aug 2010 15:03:34 +0200
branch	isac-from-Isabelle2009-2
changeset 37913	20e3616b2d9c
parent 32088	2110fcd86efb
child 43382	bf89455ccf9d
permissions	-rw-r--r--