Skip to content
GitLab
Explore
Sign in
Suggestions for
!34
Code
Review changes
Check out branch
Download
Patches
Plain diff
Benedict Reinhold Willhardt
requested to merge
17-vorlesung-vom-16-05-suggestions
into
17-vorlesung-vom-16-05
Jul 03, 2024
Overview
1
Commits
1
Pipelines
1
Changes
1
Expand
Let latexindent enforce 80 char per line (doesn't like
\[ ... \]
)
Add extra label for lemma 2.21 (3)
Merge request reports