From 0b413778ca2ac935458341a441f315a619aaf089 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Hans-J=C3=B6rg=20Schurr?= <hansjoerg-schurr@uiowa.edu>
Date: Fri, 10 Feb 2023 10:35:10 -0600
Subject: [PATCH] Add preamble

---
 spec/doc.tex | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)

diff --git a/spec/doc.tex b/spec/doc.tex
index b11dacd..e614f23 100644
--- a/spec/doc.tex
+++ b/spec/doc.tex
@@ -41,6 +41,34 @@
 
 \usepackage{cite}
 \usepackage{url}
+\usepackage[useregional]{datetime2}
+\usepackage{xltabular} % Gives us stretchable, breakable tables. for proofs
+\usepackage{longtable} % Gives us longtables for proof
+\usepackage{environ} % Gives us NewEnviron to define environements with tables
+\usepackage{fancyvrb} % Gives us \Verb which can be used in footnotes
+\usepackage{amsthm}
+\usepackage{thmtools}
+\usepackage{ccicons} % Gives us CC icons for title page
+\usepackage[nottoc,notlot,notlof]{tocbibind}
+
+\usepackage{imakeidx}
+\makeindex
+\makeindex[name=rules,options= -s rule_index_style.ist]
+% We provide a command that discards the argument to the index.  This
+% allows us to do the sectioning of the index manually and give different
+% sectin levels to the rule index and the overall index
+\newcommand\indexsection[1]{}
+\indexsetup{level=\indexsection,firstpagestyle=headings,noclearpage}
+
+% Must come after imakeidx
+\usepackage[hidelinks=true]{hyperref}
+\usepackage{breakurl}
+
+\usepackage{tikz}
+\usetikzlibrary{tikzmark,positioning}
+\usetikzlibrary{shapes,arrows,fit, scopes}
+\usetikzlibrary{arrows.meta}
+\usetikzlibrary{svg.path}
 
 \usepackage{bussproofs}
 \EnableBpAbbreviations
-- 
GitLab