1\documentclass[12pt,a4paper,fleqn]{report}
2\usepackage{lmodern}
3\usepackage[T1]{fontenc}
4\usepackage{latexsym,graphicx}
5\usepackage[refpage]{nomencl}
6\usepackage{iman,extra,isar,proof}
7\usepackage[nohyphen,strings]{underscore}
8\usepackage{isabelle}
9\usepackage{isabellesym}
10\usepackage{railsetup}
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:
89