Migrate KeY v3.0 fixes to main#3941

Merged

wadoon merged 24 commits into

mainfrom

migrateVersion30Fixes

Jul 24, 2026

Commits on Jul 24, 2026

Only recreate Isabelle session files if path has actually changed

flo2702
authored and
unp1
committed
Removed double dbg msg

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

WolframPfeifer
authored and
unp1
committed
Add a command line parameter to clear GUI prefrences
unp1
committed
update the THIRD_PARTY_LICENSES.txt

wadoon
authored and
unp1
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
add description to modules

wadoon
authored and
unp1
committed
KeY 3.0 logo (used in About KeY), extended copyright notice

WolframPfeifer
authored and
unp1
committed
update license date

WolframPfeifer
authored and
unp1
committed
updated readme file

WolframPfeifer
authored and
unp1
committed
remove stack trace from log when no proof settings are found

WolframPfeifer
authored and
unp1
committed
Sync File and Save dialog (issue #3938)
unp1
committed
fix #3935

wadoon
authored and
unp1
committed
Suppress additional contract in FM24 example

Drodt
authored and
unp1
committed
swap 'Apply' and 'Cancel' in TacletMatchDialog for consistency

WolframPfeifer
authored and
unp1
committed
follow up of #3935: fix loading of instantiations and copying of old ones

WolframPfeifer
authored and
unp1
committed
shorten text in TacletMatchDialog tabs

WolframPfeifer
authored and
unp1
committed
Sync file chooser before opening with last opened location
unp1
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Migrate KeY v3.0 fixes to main#3941

Migrate KeY v3.0 fixes to main#3941
wadoon merged 24 commits into
mainfrom
migrateVersion30Fixes

Commits on Jul 24, 2026

Only recreate Isabelle session files if path has actually changed

Removed double dbg msg

Fixes empty taclet option even if problem is loaded

fix for #3927: make examples loadable (JML modifiers before return type)

Add a command line parameter to clear GUI prefrences

update the THIRD_PARTY_LICENSES.txt

Fix saving-loading when path contains symlink

Proof > Show All Active Settings > Active Taclet Options shows actual active settings

Fix taclet options not activated after change and reloading (closes issue #3934)

Fix that open most recent file was not enabled when starting KeY fresh (first after first file was opened)

Minor robustness add-on for last commit

Increas forked JVM memory: macOS has less memory on CI, so the default is not enough

add description to modules

KeY 3.0 logo (used in About KeY), extended copyright notice

update license date

updated readme file

remove stack trace from log when no proof settings are found

Sync File and Save dialog (issue #3938)

fix #3935

Suppress additional contract in FM24 example

swap 'Apply' and 'Cancel' in TacletMatchDialog for consistency

follow up of #3935: fix loading of instantiations and copying of old ones

shorten text in TacletMatchDialog tabs

Sync file chooser before opening with last opened location