1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
\startenvironment env
\setupinteraction[
state=start,
title={Predicate Aware Abstract Interpretation},
author={Yann Herklotz},
color=darkcyan,
contrastcolor=darkcyan,
openaction=ToggleViewer,
focus=height,
click=yes,
style=\rm,
]
\setuppapersize[A4][A4]
\definefontfeature[default][default][protrusion=quality,expansion=quality]
\setupbodyfont[ymhg]
\setupinterlinespace[big]
\setupindenting[yes,medium,next]
\setuphead[title][
style={\bfd\ss},
header=empty,
align=center,
before={\blank[2*line,force]},
]
\setuphead[subject][style={\bfb\ss}]
\setuphead[subsubject][style={\bfa\ss}]
\setuphead[subsubsubject][style={\ita\ss}]
\setuphead[subsubsubsubject][style={\it\ss}]
\setuphead[section][style={\bfb\ss}]
\setuphead[subsection][style={\bfa\ss}]
\setuphead[subsubsection][style={\ita\ss}]
\setuphead[subsubsubsection][style={\it\ss}]
\stopenvironment
|
