draining

0ff3e9b2 · Michael Kohlhase · 37c48b12 · 0ff3e9b2
Commit 0ff3e9b2 authored 5 years ago by Michael Kohlhase
--- a/paper.tex
+++ b/paper.tex
@@ -10,6 +10,7 @@
 \usepackage{amssymb}
 \usepackage{xcolor}
 \usepackage{stex-logo}
+\usepackage{paralist
 % Tkiz
 \usepackage{tikz}
 \usepackage{tkz-euclide}