Skip to content

fix typos that surfaced while creating German translation - #170

Merged
joneugster merged 2 commits into
leanprover-community:mainfrom
TentativeConvert:main
Sep 10, 2026
Merged

joneugster merged 2 commits into
leanprover-community:mainfrom
TentativeConvert:main

use consistent terminology and spelling for editor and typewriter modes

fa80562
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build
succeeded Sep 10, 2026 in 3m 16s