Skip to content
GitLab
Explore
Sign in
Apply new guideline to current main
Code
Review changes
Check out branch
Download
Patches
Plain diff
Benedict Reinhold Willhardt
requested to merge
main-with-new-guideline
into
main
May 11, 2024
Overview
15
Commits
25
Pipelines
14
Changes
3
Expand
Move figure into figure environment and give it a caption
Remove most symbols of formal logic
Remove comment on line breaks after punctuations in the guideline
Edited
May 16, 2024
by
Benedict Reinhold Willhardt
Merge request reports