equal
deleted
inserted
replaced
|
1 \documentclass[12pt,a4paper]{report} |
|
2 \usepackage{supertabular} |
|
3 \usepackage{graphicx} |
|
4 \usepackage{iman,extra,isar,ttbox} |
|
5 \usepackage[nohyphen,strings]{underscore} |
|
6 \usepackage{isabelle,isabellesym} |
|
7 \usepackage{railsetup} |
|
8 \usepackage{style} |
|
9 \usepackage{pdfsetup} |
|
10 |
|
11 \hyphenation{Isabelle} |
|
12 \hyphenation{Isar} |
|
13 |
|
14 \isadroptag{theory} |
|
15 |
|
16 \isabellestyle{literal} |
|
17 |
|
18 \title{\includegraphics[scale=0.5]{isabelle} \\[4ex] The Isabelle System Manual} |
|
19 |
|
20 \author{\emph{Makarius Wenzel} and \emph{Stefan Berghofer} \\ |
|
21 TU M\"unchen} |
|
22 |
|
23 \makeindex |
|
24 |
|
25 |
|
26 \begin{document} |
|
27 |
|
28 \maketitle |
|
29 \pagenumbering{roman} \tableofcontents \clearfirst |
|
30 |
|
31 \input{Basics.tex} |
|
32 \input{Interfaces.tex} |
|
33 \input{Sessions.tex} |
|
34 \input{Presentation.tex} |
|
35 \input{Scala.tex} |
|
36 \input{Misc.tex} |
|
37 |
|
38 \begingroup |
|
39 \tocentry{\bibname} |
|
40 \bibliographystyle{abbrv} \small\raggedright\frenchspacing |
|
41 \bibliography{manual} |
|
42 \endgroup |
|
43 |
|
44 \tocentry{\indexname} |
|
45 \printindex |
|
46 |
|
47 \end{document} |