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