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
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
|
\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,
]
\setuplayout[
edgedistance=1cm,
backspace=2cm,
rightmargin=4cm,
leftmargin=0cm,
topspace=1cm,
header=1cm,
footer=1cm,
headerdistance=0.5cm,
width=fit,
height=fit,
]
\setuppapersize[A4][A4]
\definefontfeature[default][default][protrusion=quality,expansion=quality]
\setupbodyfont[ymhg,10pt]
\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}]
\setupheads[subject,subsubject,section,subsection][color=darkcyan]
\define\PlaceFootnote
{\inrightmargin{\vtop{\placelocalnotes[footnote][before=,after=]}}}
\setupnote
[footnote]
[location=text,
textstyle={\rmxx},
align={yes,tolerant},
next=\PlaceFootnote]
\setupnotation
[footnote]
[alternative=serried]
\setupfootnotes[align={stretch,verytolerant,hz,hanging,hyphenated}]
\setupmargindata[stack=yes]
\definecolor[codeblockcolor][x=EAF5F2]
\definecolor[codeblockborder][x=6AB9A4]
\definetextbackground[codeblockbg][
location=paragraph,
background=color,
backgroundcolor=codeblockcolor,
bottomoffset=\bodyfontsize,
corner=round,
framecolor=codeblockborder,
]
\setupenumeration
[OrgListingEnumEmpty]
[alternative=empty,
before={\blank\startcodeblockbg},
after={\stopcodeblockbg\blank},
margin=0pt]
\setupvimtyping[OrgBlkSrcCoq][margin=5mm]
\setupregister[OrgConcept][
style={\bfa\tt},
color=darkcyan,
textstyle=tt,
]
\stopenvironment
|