apply Proofreading suggestions to c14#1137

Merged

jannes-m merged 24 commits intomainfrom proof_c14

Oct 7, 2024

+26-28

Commits on Oct 2, 2024

add comma
jannes
committed
delete one based on
jannes
committed
use inline code notation
jannes
committed
capitalize table heading
jannes
committed
Merge branch 'main' into proof_c14
jannes
committed
use multiplication symbol
jannes
committed
define next section explicitly
jannes
committed
delete hyphen
jannes
committed
use number
jannes
committed
at least once use the pipe placeholder
jannes
committed
use City in text as well
jannes
committed

Commits on Oct 4, 2024

Merge branch 'main' into proof_c14
jannes
committed
either write out refs in captions or omit them
jannes
committed
use comma instead of colon
jannes
committed
write out number
jannes
committed
add comma
jannes
committed
add comma
jannes
committed
use identify
jannes
committed
omit twofold
jannes
committed
use hyphen
jannes
committed
use capital E
jannes
committed
use singular
jannes
committed
add comma
jannes
committed
add hyphen
jannes
committed