From 408bbac795a0e9682c6dbca1ee6ea0d8348fc31d Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 8 Mar 2016 09:29:28 +0100
Subject: [PATCH] move some package imports to iris.sty
---
docs/iris.sty | 7 +++++++
docs/setup.tex | 10 ----------
2 files changed, 7 insertions(+), 10 deletions(-)
diff --git a/docs/iris.sty b/docs/iris.sty
index ba2811f52..a05ace0da 100644
--- a/docs/iris.sty
+++ b/docs/iris.sty
@@ -3,6 +3,13 @@
\RequirePackage{tikz}
\RequirePackage{scalerel}
+\RequirePackage{array}
+\RequirePackage{dashbox}
+\RequirePackage{tensor}
+\RequirePackage{xparse}
+\RequirePackage{xstring}
+\RequirePackage{mathtools}
+
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% SETUP
diff --git a/docs/setup.tex b/docs/setup.tex
index f438ee57e..c43a68e75 100644
--- a/docs/setup.tex
+++ b/docs/setup.tex
@@ -8,7 +8,6 @@
%% PACKAGES
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\usepackage{mathtools}
%\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amsthm}
@@ -17,12 +16,6 @@
\usepackage{\basedir mathpartir}
-\usepackage{array}
-%\usepackage{tabu}
-
-\usepackage{dashbox}
-\usepackage{tensor}
-
\usepackage{\basedir pftools}
\usepackage{\basedir iris}
@@ -30,9 +23,6 @@
\usepackage{graphicx}
-%\usepackage{rotating}
-\usepackage{xparse}
-\usepackage{xstring}
\usepackage{semantic}
\usepackage{csquotes}
--
GitLab