From 63c047335a9595d329135c59f658b883d2dbd47f Mon Sep 17 00:00:00 2001
From: "Jip J. Dekker" <jip@dekker.one>
Date: Sat, 12 Jun 2021 17:19:53 +1000
Subject: [PATCH] Cleanup packages

---
 assets/packages.tex | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/assets/packages.tex b/assets/packages.tex
index 2fb48ac..7a1490b 100644
--- a/assets/packages.tex
+++ b/assets/packages.tex
@@ -107,10 +107,7 @@
 \setlength{\grammarindent}{8em}
 \usepackage{ebproof}
 
-% Half Reif packages (maybe we should get rid of these)
-\usepackage[all]{xy}
 % Comments
-\newcommand{\pjs}[1]{\textcolor{blue}{\Big[\textbf{Peter}: #1\Big]}}
 \newcommand{\jip}[1]{\textcolor{red}{\Big[\textbf{Jip}: #1\Big]}}
 
 % Example environment