doc-src/System/system.tex
author wenzelm
Mon Aug 28 13:52:38 2000 +0200 (2000-08-28)
changeset 9695 ec7d7f877712
parent 8828 5be2d1745c61
child 10580 930ac2bfa637
permissions -rw-r--r--
proper setup of iman.sty/extra.sty/ttbox.sty;
wenzelm@3170
     1
wenzelm@3170
     2
%% $Id$
wenzelm@3170
     3
wenzelm@7838
     4
\documentclass[12pt,a4paper]{report}
wenzelm@9695
     5
\usepackage{graphicx,../iman,../extra,../ttbox,../pdfsetup}
wenzelm@3170
     6
wenzelm@3170
     7
wenzelm@6623
     8
\title{\includegraphics[scale=0.5]{isabelle} \\[4ex] The Isabelle System Manual}
wenzelm@3170
     9
wenzelm@7258
    10
\author{\emph{Markus Wenzel} and \emph{Stefan Berghofer} \\
wenzelm@4553
    11
  TU M\"unchen}
wenzelm@3170
    12
wenzelm@3170
    13
\makeindex
wenzelm@3170
    14
wenzelm@3170
    15
\setcounter{secnumdepth}{1} \setcounter{tocdepth}{2}
wenzelm@3170
    16
wenzelm@3170
    17
\pagestyle{headings}
wenzelm@3170
    18
\sloppy
wenzelm@3170
    19
\binperiod     %%%treat . like a binary operator
wenzelm@3170
    20
wenzelm@3170
    21
\begin{document}
wenzelm@4540
    22
wenzelm@3170
    23
\underscoreoff
wenzelm@3170
    24
wenzelm@3170
    25
\maketitle 
wenzelm@3170
    26
\pagenumbering{roman} \tableofcontents \clearfirst
wenzelm@3170
    27
wenzelm@3188
    28
\include{basics}
wenzelm@7849
    29
\include{present}
wenzelm@7882
    30
\include{misc}
wenzelm@3188
    31
\include{fonts}
wenzelm@3170
    32
wenzelm@7207
    33
\begingroup
wenzelm@7207
    34
  \bibliographystyle{plain} \small\raggedright\frenchspacing
wenzelm@7207
    35
  \bibliography{../manual}
wenzelm@7207
    36
\endgroup
wenzelm@7207
    37
wenzelm@8828
    38
\printindex
wenzelm@3170
    39
wenzelm@3170
    40
\end{document}