txs auto checkin

This commit is contained in:
2023-01-04 16:19:07 +01:00
parent 3beb37c598
commit 188c58e3ae

View File

@@ -59,6 +59,7 @@ version={4.0},
{\baselineskip}% Space above {\baselineskip}% Space above
{\baselineskip}% Space below {\baselineskip}% Space below
{}% Body font\\ {}% Body font\\
{}% Indent amount {}% Indent amount
{\bfseries}% Theorem head font {\bfseries}% Theorem head font
{}% Punctuation after theorem head {}% Punctuation after theorem head