From 8c8cc53a8c46f6d819494d3dc55142ad1e2516b7 Mon Sep 17 00:00:00 2001 From: "Helpers compiler [bot]" Date: Fri, 9 Jan 2026 14:09:54 +0000 Subject: [PATCH] [skip ci] Build helpers on push --- extra/.latexindent.yaml | 82 +++++++++++++++++++++++++++++++++++++++++ main/.latexindent.yaml | 82 +++++++++++++++++++++++++++++++++++++++++ 2 files changed, 164 insertions(+) create mode 100644 extra/.latexindent.yaml create mode 100644 main/.latexindent.yaml diff --git a/extra/.latexindent.yaml b/extra/.latexindent.yaml new file mode 100644 index 0000000..9aac033 --- /dev/null +++ b/extra/.latexindent.yaml @@ -0,0 +1,82 @@ +# Use spaces for indent (because f*k tabs) +defaultIndent: " " + +# Limit Number of backups +maxNumberOfBackups: 3 + +verbatimEnvironments: + verbatim: 1 + lstlisting: 1 + minted: 1 + code: 1 + +indentRules: + recall: " " + remarks: " " + remark: " " + guides: " " + properties: " " + restrictions: " " + limitations: " " + terms: " " + notation: " " + usage: " " + task: " " + proof: " " + general: " " + simplebox: " " + definition: " " + theorem: " " + lemma: " " + corollary: " " + axiom: " " + fact: " " + proposition: " " + example: " " + formula: " " + conjugation: " " + forms: " " + +lookForAlignDelims: + tables: + delims: 1 + alignDoubleBackSlash: 1 + spacesBeforeDoubleBackSlash: 1 + multiColumnGrouping: 0 + alignRowsWithoutMaxDelims: 1 + spacesBeforeAmpersand: 1 + spacesAfterAmpersand: 1 + justification: left + alignFinalDoubleBackSlash: 0 + dontMeasure: 0 + delimiterRegEx: (?