Skip to content

Commit c947b2e

Browse files
Update presentation
1 parent feeebc3 commit c947b2e

File tree

2 files changed

+16
-10
lines changed

2 files changed

+16
-10
lines changed

docs/beamerthemeesposito.sty

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -18,6 +18,7 @@
1818

1919
\setbeamerfont{title}{series=\bfseries}
2020
\setbeamerfont{subtitle}{series=\normalfont}
21+
\setbeamerfont{date}{series=\normalfont\scriptsize}
2122
\setbeamercolor{title}{fg=white}
2223
\setbeamercolor{subtitle}{fg=white}
2324
\setbeamercolor{author}{fg=white}

docs/presentation.tex

Lines changed: 15 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,7 @@
66
\usepackage{listings}
77
\usepackage{graphicx}
88
\usepackage[english]{babel}
9+
\usepackage[backend=biber,sorting=none]{biblatex}
910
\usepackage{syntax}
1011
\renewcommand{\syntleft}{$\langle$\itshape}
1112
\renewcommand{\syntright}{$\rangle$}
@@ -45,30 +46,27 @@
4546
language=haskell,
4647
}
4748

48-
4949
\definecolor{gradientstart}{HTML}{0F2027}
5050
\definecolor{gradientend}{HTML}{2C5364}
5151

5252
\title{SIMPLI}
5353
\subtitle{The Simple IMP Language Interpreter}
5454
\author{Andrea Esposito}
5555
\institute[]{University of Bari ``Aldo Moro''\\{\scriptsize Formal Methods in Computer Science}}
56-
\date{\today}
57-
56+
\date{Academic Year 2020--2021}
5857

58+
\addbibresource{bibliography.bib}
5959

6060
\begin{document}
6161
{
6262
\settocustomtemplate
63-
\setbeamertemplate{footline}{}
63+
\setbeamertemplate{footline}{%
64+
\begin{beamercolorbox}[wd=\paperwidth,ht=3.25ex,dp=2ex,center]{title in head/foot}%
65+
Released under CC BY-ND 4.0. Source code available under the GNU GPL v3.
66+
\end{beamercolorbox}%
67+
}
6468
\begin{frame}
6569
\titlepage
66-
\vfill
67-
\centerline{%
68-
\color{white}\tiny
69-
Released under CC BY-ND 4.0. Source code available under the GNU
70-
GPL v3.
71-
}
7270
\end{frame}
7371
\addtocounter{framenumber}{-1}
7472
}
@@ -487,6 +485,13 @@ \section{Usage}
487485
\end{columns}
488486
\end{frame}
489487
488+
% \section{Bibliography}
489+
% \begin{frame}
490+
% \frametitle{References}
491+
% \nocite{Hutton2017}
492+
% \printbibliography
493+
% \end{frame}
494+
490495
{
491496
\settocustomtemplate
492497
\setbeamertemplate{footline}{}

0 commit comments

Comments
 (0)