From 49da1c3f25347406def10f410bb30b3f50f79153 Mon Sep 17 00:00:00 2001
From: etsstiffler <ets.stiffler@gmail.com>
Date: Wed, 4 Jan 2023 16:18:51 +0100
Subject: [PATCH] txs auto checkin

---
 Infoskript.tex | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Infoskript.tex b/Infoskript.tex
index 4c32585..71e4805 100644
--- a/Infoskript.tex
+++ b/Infoskript.tex
@@ -58,7 +58,8 @@ version={4.0},
 \newtheoremstyle{newline}% name
 {\baselineskip}% Space above
 {\baselineskip}% Space below
-{}% Body font
+{}% Body font\\
+
 {}% Indent amount
 {\bfseries}% Theorem head font
 {}% Punctuation after theorem head