Test new workflow (part 2)

This commit is contained in:
2023-11-17 11:09:07 +01:00
parent e7fdd58c20
commit 423d0cde25

View File

@ -21,6 +21,7 @@
\usepackage{eurosym}
\usepackage{bussproofs} % Deductive tree
\geometry{ margin=3cm, lmargin=1.5cm, rmargin=4.5cm, marginparwidth=3cm }
\hypersetup{ colorlinks, citecolor=black, filecolor=black, linkcolor=black, urlcolor=black, linktoc=all }