From b6e3cf967c5195b71762501dac3e0da58fb2d876 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= <git@maximilian-kessler.de>
Date: Sat, 15 Jan 2022 14:57:05 +0100
Subject: [PATCH] add subproof tests

---
 tests/wip/subproof/test.tex | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 tests/wip/subproof/test.tex

diff --git a/tests/wip/subproof/test.tex b/tests/wip/subproof/test.tex
new file mode 100644
index 0000000..a1e5feb
--- /dev/null
+++ b/tests/wip/subproof/test.tex
@@ -0,0 +1,10 @@
+\documentclass{article}
+
+
+\usepackage[]{amsthm}
+
+\begin{document}
+  \begin{proof}
+    test
+  \end{proof}
+\end{document}