diff options
Diffstat (limited to 'chapters/introduction.tex')
| -rw-r--r-- | chapters/introduction.tex | 5 |
1 files changed, 5 insertions, 0 deletions
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 |