Release changes for 3.0.0 - #3925

Closed

wadoon wants to merge 33 commits into

mainfrom

prereleases/KeY-3.0.0-rc

Commits on Jul 15, 2026

Fixes empty taclet option even if problem is loaded
unp1
committed
fix for #3927: make examples loadable (JML modifiers before return type)
WolframPfeifer
committed

Commits on Jul 17, 2026

Add a command line parameter to clear GUI prefrences
unp1
committed
update the THIRD_PARTY_LICENSES.txt
wadoon
committed
Fix saving-loading when path contains symlink
unp1
committed
Proof > Show All Active Settings > Active Taclet Options shows actual active settings
unp1
committed
Fix taclet options not activated after change and reloading (closes issue #3934)
unp1
committed
Fix that open most recent file was not enabled when starting KeY fresh (first after first file was opened)
unp1
committed
Minor robustness add-on for last commit
unp1
committed
Increas forked JVM memory: macOS has less memory on CI, so the default is not enough
unp1
committed

Commits on Jul 18, 2026

add description to modules
wadoon
committed

Commits on Jul 22, 2026