1 files changed, 41 insertions, 0 deletions
diff --git a/env.tex b/env.tex
new file mode 100644
index 0000000..701dd9c
--- /dev/null
+++ b/env.tex
@@ -0,0 +1,41 @@
+\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]
+
+\setuphead[title][
+  style={\bfd\ss},
+  header=empty,
+  align=center,
+  after={\blank[3*line]},
+  before={\blank[2*line,force]},
+]
+
+\setupindenting[yes,medium]
+
+\setupfootertexts[pagenumber]
+\setupheadertexts[]
+\setupheadertexts[{\sc Yann Herklotz}][{\sc Abstract Interpretation}]
+
+\usemodule[vim]
+\definevimtyping [hlcoq] [syntax=coq]
+\definevimtyping [hlocaml] [syntax=ocaml]
+\definevimtyping [hlverilog] [syntax=verilog]
+\definevimtyping [hlC] [syntax=c,escape=command]
+
+\stopenvironment