diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-04-06 20:57:22 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-04-06 20:57:22 +0100 |
commit | 2039f657cb80420e4a9905668150a27fa53c7d58 (patch) | |
tree | d5d19f87ab5d2139e319f7e36b5666ab934f0229 /main.tex | |
parent | 433f6cf9cb6b6acfaf7094bd8727a87718a20830 (diff) | |
download | lsr22_fvhls-2039f657cb80420e4a9905668150a27fa53c7d58.tar.gz lsr22_fvhls-2039f657cb80420e4a9905668150a27fa53c7d58.zip |
Add more tweaks
Diffstat (limited to 'main.tex')
-rw-r--r-- | main.tex | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -1,6 +1,7 @@ \documentclass{scrreprt} -\title{LSR} +\title{Formal Verification of High-Level Synthesis} +\subtitle{Late Stage Review\\Imperial College London} \author{Yann Herklotz Grave} \date{April 2022} @@ -32,6 +33,7 @@ \usepackage[natbib=true,style=alphabetic]{biblatex} \addbibresource{references.bib} +\AtBeginBibliography{\small} \usepackage{epigraph} \setlength\epigraphwidth{1\textwidth} |