txs auto checkin

This commit is contained in:
2023-01-04 16:18:51 +01:00
parent 1ceac10572
commit 49da1c3f25

View File

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