main.tex

\documentclass[t]{beamer}
% ----------------------------------------------------------------------
\usepackage[english]{babel}
\usepackage[utf8]{inputenc}
\usepackage{amsmath,amssymb,amstext}
\usepackage{biblatex}
\usepackage{url}\urlstyle{tt}

\usepackage[absolute,overlay]{textpos} % Added by JR
\usepackage{tikz}
\usepackage{varwidth}
\usetikzlibrary {arrows.meta,graphs,shapes.misc}%,graphdrawing}

%\usepackage{enumitem}
\usetikzlibrary{arrows,chains,positioning,automata,decorations,shapes,calc,matrix,fit,backgrounds} % CHECK!!
% \usepackage{pgfpages}
% \usepackage{tikz-uml}

\bibliography{krr,procs} % https://github.com/krr-up/bibliography.git


% ----------------------------------------------------------------------
\input{macros/systems}
\input{macros/syntax}
\input{macros/operators}
\input{pifont-macros}
%
\usepackage{beamer-patch}
\input{beamer-config}
% ----------------------------------------------------------------------
\includeonlylecture{%
ezasp%
%organization%
%motivation%
%introduction%
%modeling%
%language%
%extensions%
%grounding%
%computation%
%characterizations%
%solving%
%msolving%
%tsolving%
%hsolving%
%systems%
%encoding%
%preferences%
,goodbye,bibliography}
% ----------------------------------------------------------------------
\AtBeginSection{
  \begin{frame}{Outline}
%   \bigskip
%   \vfill
    \tableofcontents[currentsection]
  \end{frame}
}

\begin{document}
% ----------------------------------------------------------------------
\input{frontpage}
% ------------------------------
\pgfdeclareimage[height=0.5cm]{potasscologo}{potassco_logo_lightblue}
\logo{\pgfuseimage{potasscologo}}
% ----------------------------------------------------------------------
\renewcommand{\ttdefault}{pcr}
% ----------------------------------------------------------------------
%
%\begin{frame}{Outline}
%   \bigskip
%   \vfill
%   \tableofcontents
%\end{frame}
%\input{./ezasp}
%
\input{./ezasp-addendum}
%
\end{document}
% ----------------------------------------------------------------------
%
%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End: