src/Doc/Eisbach/document/root.tex
changeset 60288 d7f636331176
child 61409 9d68db31196c
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/Doc/Eisbach/document/root.tex	Sun May 17 23:03:49 2015 +0200
     1.3 @@ -0,0 +1,88 @@
     1.4 +\documentclass[12pt,a4paper,fleqn]{report}
     1.5 +\usepackage[T1]{fontenc}
     1.6 +\usepackage{latexsym,graphicx}
     1.7 +\usepackage[refpage]{nomencl}
     1.8 +\usepackage{iman,extra,isar,proof}
     1.9 +\usepackage[nohyphen,strings]{underscore}
    1.10 +\usepackage{isabelle}
    1.11 +\usepackage{isabellesym}
    1.12 +\usepackage{railsetup}
    1.13 +\usepackage{ttbox}
    1.14 +\usepackage{supertabular}
    1.15 +\usepackage{style}
    1.16 +\usepackage{pdfsetup}
    1.17 +
    1.18 +
    1.19 +\hyphenation{Isabelle}
    1.20 +\hyphenation{Eisbach}
    1.21 +
    1.22 +\isadroptag{theory}
    1.23 +\title{\includegraphics[scale=0.5]{isabelle_eisbach}
    1.24 +  \\[4ex] The Eisbach User Manual}
    1.25 +\author{Daniel Matichuk \\
    1.26 +  Makarius Wenzel \\
    1.27 +  Toby Murray
    1.28 +}
    1.29 +
    1.30 +
    1.31 +% Control fixmes etc.
    1.32 +\newif\ifDraft \newif\ifFinal
    1.33 +%\Drafttrue\Finalfalse
    1.34 +\Draftfalse\Finaltrue
    1.35 +
    1.36 +
    1.37 +\ifDraft
    1.38 +  \usepackage{draftcopy}
    1.39 +  \newcommand{\Comment}[1]{\textbf{\textsl{#1}}}
    1.40 +  \newenvironment{LongComment}[1] % multi-paragraph comment, argument is owner
    1.41 +    {\begingroup\par\noindent\slshape \textbf{Begin Comment[#1]}\par}
    1.42 +    {\par\noindent\textbf{End Comment}\endgroup\par}
    1.43 +  \newcommand{\FIXME}[1]{\textbf{\textsl{FIXME: #1}}}
    1.44 +  \newcommand{\TODO}[1]{\textbf{\textsl{TODO: #1}}}
    1.45 +\else
    1.46 +  \newcommand{\Comment}[1]{\relax}
    1.47 +  \newenvironment{LongComment}[1]{\expandafter\comment}{\expandafter\endcomment}
    1.48 +  \newcommand{\FIXME}[1]{\relax}
    1.49 +  \newcommand{\TODO}[1]{\relax}
    1.50 +\fi
    1.51 +
    1.52 +% This sort of command for each active author can be convenient
    1.53 +\newcommand{\dan}[1]{\Comment{#1 [dan]}}
    1.54 +\newcommand{\toby}[1]{\Comment{#1 [toby]}}
    1.55 +\newcommand{\makarius}[1]{\Comment{#1 [makarius]}}
    1.56 +
    1.57 +
    1.58 +\makeindex
    1.59 +
    1.60 +\chardef\charbackquote=`\`
    1.61 +\newcommand{\backquote}{\mbox{\tt\charbackquote}}
    1.62 +
    1.63 +
    1.64 +\begin{document}
    1.65 +
    1.66 +\maketitle
    1.67 +
    1.68 +\pagenumbering{roman}
    1.69 +\chapter*{Preface}
    1.70 +\input{Preface.tex}
    1.71 +\tableofcontents
    1.72 +\clearfirst
    1.73 +
    1.74 +\input{Manual.tex}
    1.75 +
    1.76 +\begingroup
    1.77 +\tocentry{\bibname}
    1.78 +\bibliographystyle{abbrv} \small\raggedright\frenchspacing
    1.79 +\bibliography{manual}
    1.80 +\endgroup
    1.81 +
    1.82 +\tocentry{\indexname}
    1.83 +\printindex
    1.84 +
    1.85 +\end{document}
    1.86 +
    1.87 +
    1.88 +%%% Local Variables:
    1.89 +%%% mode: latex
    1.90 +%%% TeX-master: t
    1.91 +%%% End: