From c570be466f72725a6ca7e84c38e33c0d8e19d619 Mon Sep 17 00:00:00 2001
From: Isaac van Bakel <isaac.vanbakel@inf.ethz.ch>
Date: Thu, 31 Oct 2024 17:08:29 +0100
Subject: [PATCH] Add requirement of mathpartir to pftools.sty
Without this line, mathpartir.sty doesn't get pulled in to the document
despite being used for commands in pftools.sty, which is an annoyance.
---
tex/pftools.sty | 1 +
1 file changed, 1 insertion(+)
diff --git a/tex/pftools.sty b/tex/pftools.sty
index c34260e97..0940d8c63 100644
--- a/tex/pftools.sty
+++ b/tex/pftools.sty
@@ -10,6 +10,7 @@
\RequirePackage{Tabbing} % Avoid the standard tabbing environment. Its \< conflicts with the semantic package.
\RequirePackage{xparse}
\RequirePackage{xcolor}
+\RequirePackage{mathpartir}
%% COLOR DEFINITIONS
\definecolor{rescolor}{HTML}{005504}
--
GitLab