src/Doc/Eisbach/document/root.tex
author wenzelm
Sun May 17 23:03:49 2015 +0200 (2015-05-17)
changeset 60288 d7f636331176
child 61409 9d68db31196c
permissions -rw-r--r--
added Eisbach manual, using version 8845c4cb28b6 of its Bitbucket repository;
     1 \documentclass[12pt,a4paper,fleqn]{report}
     2 \usepackage[T1]{fontenc}
     3 \usepackage{latexsym,graphicx}
     4 \usepackage[refpage]{nomencl}
     5 \usepackage{iman,extra,isar,proof}
     6 \usepackage[nohyphen,strings]{underscore}
     7 \usepackage{isabelle}
     8 \usepackage{isabellesym}
     9 \usepackage{railsetup}
    10 \usepackage{ttbox}
    11 \usepackage{supertabular}
    12 \usepackage{style}
    13 \usepackage{pdfsetup}
    14 
    15 
    16 \hyphenation{Isabelle}
    17 \hyphenation{Eisbach}
    18 
    19 \isadroptag{theory}
    20 \title{\includegraphics[scale=0.5]{isabelle_eisbach}
    21   \\[4ex] The Eisbach User Manual}
    22 \author{Daniel Matichuk \\
    23   Makarius Wenzel \\
    24   Toby Murray
    25 }
    26 
    27 
    28 % Control fixmes etc.
    29 \newif\ifDraft \newif\ifFinal
    30 %\Drafttrue\Finalfalse
    31 \Draftfalse\Finaltrue
    32 
    33 
    34 \ifDraft
    35   \usepackage{draftcopy}
    36   \newcommand{\Comment}[1]{\textbf{\textsl{#1}}}
    37   \newenvironment{LongComment}[1] % multi-paragraph comment, argument is owner
    38     {\begingroup\par\noindent\slshape \textbf{Begin Comment[#1]}\par}
    39     {\par\noindent\textbf{End Comment}\endgroup\par}
    40   \newcommand{\FIXME}[1]{\textbf{\textsl{FIXME: #1}}}
    41   \newcommand{\TODO}[1]{\textbf{\textsl{TODO: #1}}}
    42 \else
    43   \newcommand{\Comment}[1]{\relax}
    44   \newenvironment{LongComment}[1]{\expandafter\comment}{\expandafter\endcomment}
    45   \newcommand{\FIXME}[1]{\relax}
    46   \newcommand{\TODO}[1]{\relax}
    47 \fi
    48 
    49 % This sort of command for each active author can be convenient
    50 \newcommand{\dan}[1]{\Comment{#1 [dan]}}
    51 \newcommand{\toby}[1]{\Comment{#1 [toby]}}
    52 \newcommand{\makarius}[1]{\Comment{#1 [makarius]}}
    53 
    54 
    55 \makeindex
    56 
    57 \chardef\charbackquote=`\`
    58 \newcommand{\backquote}{\mbox{\tt\charbackquote}}
    59 
    60 
    61 \begin{document}
    62 
    63 \maketitle
    64 
    65 \pagenumbering{roman}
    66 \chapter*{Preface}
    67 \input{Preface.tex}
    68 \tableofcontents
    69 \clearfirst
    70 
    71 \input{Manual.tex}
    72 
    73 \begingroup
    74 \tocentry{\bibname}
    75 \bibliographystyle{abbrv} \small\raggedright\frenchspacing
    76 \bibliography{manual}
    77 \endgroup
    78 
    79 \tocentry{\indexname}
    80 \printindex
    81 
    82 \end{document}
    83 
    84 
    85 %%% Local Variables:
    86 %%% mode: latex
    87 %%% TeX-master: t
    88 %%% End: