diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-07-26 08:10:11 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-07-26 08:10:11 +0100 |
commit | f2e52c7397d20610f5439ca5735c15ea2d8dcd6b (patch) | |
tree | d4a68a23a9b8c76ea000c0fe31b76ec866522b35 /env.tex | |
download | pred-aware-ai-f2e52c7397d20610f5439ca5735c15ea2d8dcd6b.tar.gz pred-aware-ai-f2e52c7397d20610f5439ca5735c15ea2d8dcd6b.zip |
Add initial files
Diffstat (limited to 'env.tex')
-rw-r--r-- | env.tex | 41 |
1 files changed, 41 insertions, 0 deletions
@@ -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 |