From 7458e17b2bf5b3c6f342731510f1be589851c3a0 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 3 May 2022 08:00:29 +0100
Subject: Add pipelining notes

---
 chapters/introduction.tex | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'chapters/introduction.tex')

diff --git a/chapters/introduction.tex b/chapters/introduction.tex
index 7ab9d47..55ed41b 100644
--- a/chapters/introduction.tex
+++ b/chapters/introduction.tex
@@ -109,4 +109,9 @@ a fork of CompCert which implements \SSA\ as an intermediate language.
 
 \desc{\in{Chapter}[sec:schedule]} describes the current implementation timeline.
 
+\startmode[section]
+  \section{Bibliography}
+  \placelistofpublications
+\stopmode
+
 \stopcomponent
-- 
cgit 

