Add a section on proving determinism.
[matthijs/master-project/report.git] / Report.tex
1 \mainlanguage [en]
2 \setuppapersize[A4][A4]
3 % Setup doublesided layout and hide the page number (we will put in the
4 % footer)
5 \setuppagenumbering[alternative=doublesided,location=]
6 % Enable interaction (clickable links), but don't use special link colors or a
7 % bold style.
8 \setupinteraction[state=start,color=,contrastcolor=,style=normal]
9 % Enable interaction in the table of contents as well
10 \setupcombinedlist[content][interaction=all]
11
12 % Use bibtex
13 \usemodule[bib]
14 \setupbibtex[database=Report]
15 \setuppublications[numbering=yes]
16
17 \input Utils/Fonts
18 \input Utils/Formats
19 \input Utils/Lambda
20 \input Utils/Shortcuts
21 \input Utils/Metapost
22 \input Utils/Fixme
23
24 \usetypescript [Custom]
25
26 % Use our custom typeface in the body text, header, footer and
27 % footnotes. There is probably a more elegant way to change the header
28 % etc. fonts, but this works...
29 \switchtotypeface [Custom] [10pt]
30 \setupheader[style={\switchtotypeface[Custom][12pt]}]
31 \setupfooter[style={\switchtotypeface[Custom][12pt]}]
32 \setupfootnotes[style={\switchtotypeface[Custom][10pt]\italic},way=bypage]
33
34 % Hide header texts and use the header space for text.
35 \setuphead[chapter][header=high]
36
37 % Insert completely empty pages to put new chapter headers on the right
38 % page (i.e., not headers and footers).
39 \definepagebreak[emptyright][yes,header,footer,right]
40 \setuphead[chapter][page=emptyright]
41
42 % Reducing margins (or actually, the spacing in which the margins end up) for
43 % 2-up printing and increase font size slightly.
44 %\setuplayout[backspace=2cm,width=middle,topspace=1cm,bottomspace=1cm,height=middle]
45 %\switchtotypeface [Custom] [10pt]
46
47 \starttext
48 \startfrontmatter
49 \input Titlepage
50
51 \input Chapters/Abstract
52 \completecontent
53
54 % Force a page break so the headers will not apply to the last page of
55 % the contents. This page break would otherwise be inserted by the
56 % upcoming \chapter.
57 \page[emptyright]
58 % Set up a simple header and footer for the introduction
59 \setupheadertexts[{\getmarking[chapter]}]
60 \setupfootertexts[pagenumber]
61
62 \input Chapters/Introduction
63 % The stopfrontmatter inserts a non-empty right page, it seems
64 \page[emptyright]
65 \stopfrontmatter
66 \startbodymatter
67 % Set up a fancy header and footer for the normal chapters. We need to
68 % repeat the footer since we switched matters.
69 \def\Header{\getmarking[sectionnumber]~—~\getmarking[chapter]~—~\getmarking[section]}
70 \setupheadertexts[][\Header]
71 \setupfootertexts[pagenumber]
72
73 \input Chapters/Context
74 \input Chapters/HardwareDescription
75 \input Chapters/Prototype
76 \input Chapters/Normalization
77 \input Chapters/Future
78 \input Chapters/Conclusions
79 \stopbodymatter
80 \startbackmatter
81 \completepublications
82 % The stopbackmatter inserts a non-empty right page, it seems
83 \page[emptyright]
84 \stopbackmatter
85 \stoptext
86
87 % vim: set sw=2 sts=2 expandtab: