Add pipelining notes

1 files changed, 26 insertions, 24 deletions

diff --git a/lsr_env.tex b/lsr_env.tex
index c20063e..cbedab1 100644
--- a/lsr_env.tex
+++ b/lsr_env.tex
@@ -29,7 +29,7 @@
 \setuppapersize[A4][A4]
 \definefontfeature[default][default][protrusion=quality,expansion=quality]
 \setupalign[hz,hanging,lesshyphenation,verytolerant]
-\setupbodyfont[ebgaramondlato,11pt]
+\setupbodyfont[lsrfont,11pt]
 %\setupalign[hz,hanging,nothyphenated]
 \setupinterlinespace[big]
 
@@ -54,7 +54,7 @@
 ]
 
 \setuphead[chapter][
-  style={\bfd},
+  style={\bfd\ss},
   header=empty,
   align=flushright,
   numbercommand=\marginhead,
@@ -67,7 +67,6 @@
   \setupheads[chapter][
     after={\blank[2*big]},
     before={\blank[big,force]},
-    style={\bfd},
     header=empty,
     align=flushleft,
   ]
@@ -81,7 +80,6 @@
   \setupheads[chapter][
     after={\blank[2*big]},
     before={\blank[big,force]},
-    style={\bfd},
     header=empty,
     align=flushleft,
   ]
@@ -139,9 +137,9 @@
 
 \define[1]\marginhead{\margintitle[location=right]{\switchtobodyfont[30pt] #1}}
 
-\setuphead[section][style={\bfb}]
-\setuphead[subsection][style={\bfa}]
-\setuphead[subsubsection][style={\bf},after={\blank[0.2cm]}]
+\setuphead[section][style={\bfb\ss}]
+\setuphead[subsection][style={\bfa\ss}]
+\setuphead[subsubsection][style={\bf\ss},after={\blank[0.2cm]}]
 
 \setuplabeltext[chapter=]
 % \setupheader[text][style=smallcaps,after=\hrule]
@@ -175,21 +173,6 @@
 % @see http://wiki.contextgarden.net/Indentation
 % Indent all paragraph after all section headers.
 \setupindenting[yes,medium]
-%\setupheads[section, subsection][
-%    indentnext=yes,
-%    numberwidth=1.27cm,
-%    style=bold,
-%    before={\blank[3*line]},
-%    after={\blank[1*line]},
-%]
-%
-%\setupheads[subsubsection][
-%    indentnext=yes,
-%    numberwidth=1.27cm,
-%    style=bold,
-%    before={\blank[1*line]},
-%    after={\blank[1*line]},
-%]
 
 % ==========================================================================
 % Table of Contents
@@ -235,7 +218,8 @@
   numbercommand=\groupedcommand{(}{)},
   numberconversion=a,
   prefix=no,
-  way=bytext
+  way=bytext,
+  style=\rmx,
 ]
 \setuplabeltext[subfigure=]
 
@@ -358,7 +342,17 @@
 % ==========================================================================
 
 \usemodule[tikz]
-\usetikzlibrary{shapes,calc,arrows.meta}
+\usetikzlibrary{
+  arrows,
+  arrows.meta,
+  automata,
+  calc,
+  decorations.pathreplacing,
+  patterns,
+  patterns.meta,
+  petri,
+  shapes,
+}
 
 \definecolor[compcert][x=BEBADA]
 \definecolor[formalhls][x=8DD3C7]
@@ -476,4 +470,12 @@
 \define[1]\oindex{\index{optimisation+#1}}
 \define[1]\pindex{\index{proof+#1}}
 
+% ==========================================================================
+% Macros
+% ==========================================================================
+
+\define\eqdef{{\strut\hbox to 0pt{\raisebox{0.5\baselineskip}\hbox{\rmx def}\hss}}=}
+\define\blockbb{\mathcal{B}_{\rm b}}
+\define\parbb{\mathcal{B}_{\rm p}}
+
 \stopenvironment