Skip to content

Rewriting the settings in KeY files to the new format.#3688

Draft
wadoon wants to merge 7 commits intomainfrom
weigl/settingsrewriter-applied
Draft

Rewriting the settings in KeY files to the new format.#3688
wadoon wants to merge 7 commits intomainfrom
weigl/settingsrewriter-applied

Commits

Commits on Feb 20, 2026

Commits on Feb 21, 2026