From 4d3e88667ccecfd0e1a06d0309aae5e37fccb7b5 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 23 Jan 2017 14:51:18 +0100
Subject: [PATCH] docs: remove unused tikz declarations
---
docs/iris.sty | 7 -------
1 file changed, 7 deletions(-)
diff --git a/docs/iris.sty b/docs/iris.sty
index 3b698bb1b..a07543fdb 100644
--- a/docs/iris.sty
+++ b/docs/iris.sty
@@ -10,18 +10,11 @@
\RequirePackage{xstring}
\RequirePackage{mathtools}
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-%% SETUP
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
-
\usetikzlibrary{shapes}
%\usetikzlibrary{snakes}
\usetikzlibrary{arrows}
\usetikzlibrary{calc}
\usetikzlibrary{arrows.meta}
-\tikzstyle{state}=[circle, draw, minimum size=1.2cm, align=center]
-\tikzstyle{trans}=[arrows={->[scale=1.4]}]
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% MATH SYMBOLS & NOTATION & IDENTIFIERS
--
GitLab