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
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
|
\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]
\definetextbackground[codeblockbg][
location=paragraph,
topoffset=\bodyfontsize,
corner=round,
]
\definecolor[codeblockexportcolor][x=EAF5F2]
\definecolor[codeblockexportborder][x=6AB9A4]
\definetextbackground[codeblockexportbg][codeblockbg][
background=color,
backgroundcolor=codeblockexportcolor,
framecolor=codeblockexportborder,
]
\definecolor[codeblockexamplecolor][x=F5EBEA]
\definecolor[codeblockexampleborder][x=B96F6A]
\definetextbackground[codeblockexamplebg][codeblockbg][
background=color,
backgroundcolor=codeblockexamplecolor,
framecolor=codeblockexampleborder,
]
\setupenumeration
[OrgListingEnumEmpty]
[alternative=empty,
before=,
after=\blank,
margin=0pt,
indentnext=no,]
\setupenumeration
[OrgExampleEnumEmpty]
[indentnext=no,]
\setupvimtyping[OrgBlkSrcCoq][
margin=5mm,
before={\startcodeblockexportbg\blank},
after={\stopcodeblockexportbg},
]
\setuptyping[OrgExample][
margin=5mm,
before={\startcodeblockexamplebg\blank},
after={\stopcodeblockexamplebg},
]
\setupregister[OrgConcept][
style={\bfa\tt},
color=darkcyan,
textstyle=tt,
]
\define\OrgTitleContents{}
\setupcombinedlist[content][alternative=c]
\setupsectionblock[frontpart][before=\blank,after=\blank,]
\stopenvironment
|