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;
wenzelm@7838
     1
\documentclass[12pt,a4paper]{report}
wenzelm@10580
     2
\usepackage{supertabular}
wenzelm@28216
     3
\usepackage{graphicx}
wenzelm@28216
     4
\usepackage{../iman,../extra,../isar,../ttbox}
wenzelm@28219
     5
\usepackage[nohyphen,strings]{../underscore}
wenzelm@42511
     6
\usepackage{../../lib/texinputs/isabelle,../../lib/texinputs/isabellesym}
wenzelm@42668
     7
\usepackage{../../lib/texinputs/railsetup}
wenzelm@28216
     8
\usepackage{../IsarRef/style}
wenzelm@28216
     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@10580
    16
\isabellestyle{it}
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@28838
    31
\input{Thy/document/Basics.tex}
wenzelm@28916
    32
\input{Thy/document/Interfaces.tex}
wenzelm@28838
    33
\input{Thy/document/Presentation.tex}
wenzelm@47825
    34
\input{Thy/document/Scala.tex}
wenzelm@28838
    35
\input{Thy/document/Misc.tex}
wenzelm@10580
    36
wenzelm@7207
    37
\begingroup
wenzelm@30116
    38
  \bibliographystyle{abbrv} \small\raggedright\frenchspacing
wenzelm@7207
    39
  \bibliography{../manual}
wenzelm@7207
    40
\endgroup
wenzelm@7207
    41
wenzelm@8828
    42
\printindex
wenzelm@3170
    43
wenzelm@3170
    44
\end{document}