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