Dekker1/dekker-phd-thesis
Archived
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Cleanup packages

Browse Source
This commit is contained in:
Jip J. Dekker 2021-06-12 17:19:53 +10:00
parent cfd29fc909
commit 63c047335a
No known key found for this signature in database
GPG Key ID: 517DF4A00618C9C3
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
assets/packages.tex
View File

@ -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