diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-04-08 09:34:36 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-04-08 09:34:36 +0100 |
| commit | 1c33b587665dd00725e5c801968507e7a7c09159 (patch) | |
| tree | 025cc3ffe99106d56da8358d18bcca6b30add3ad /title.tex | |
| parent | f1cdc82def499275f1e74c47e7efbbbd9beb6306 (diff) | |
| download | lsr22_fvhls-1c33b587665dd00725e5c801968507e7a7c09159.tar.gz lsr22_fvhls-1c33b587665dd00725e5c801968507e7a7c09159.zip | |
Add modifications
Diffstat (limited to 'title.tex')
| -rw-r--r-- | title.tex | 17 |
1 files changed, 9 insertions, 8 deletions
@@ -4,13 +4,11 @@ \definemakeup[title][align=middle] \startmakeup[title] - \setupinterlinespace[big] - {\bfd Formal Verification of High-Level Synthesis} - \blank[small] - {\bfa Late Stage Review} - \blank[big] - - Yann Herklotz Grave + {\switchtobodyfont[30pt] Formal Verification of \blank[medium] High-Level Synthesis} + \blank[1cm] + {\bfb Late Stage Review} + \blank[2cm] + {\rma Yann Herklotz Grave} \blank[5cm] % http://wiki.contextgarden.net/Command/currentdate @@ -18,7 +16,10 @@ \blank[5cm] \startalignment[flushleft] - Supervisor: John Wickerson + \setupinterlinespace[line=3.8ex]\rma + \bold{Supervisor}: John Wickerson + + \bold{CID}: 01062783 \stopalignment \stopmakeup |