Javac extension#3686

Draft

PiIsRational wants to merge 8 commits intoKeYProject:mainfrom

PiIsRational:javac-extension

Commits on Nov 17, 2025

Commits on Nov 18, 2025

save proof independent settings, that are not used by the configuration
PiIsRational
committed

Commits on Nov 24, 2025

Commits on Dec 6, 2025

Revert "save proof independent settings, that are not used by the configuration"
PiIsRational
committed
un-revert the name of the Javac Settings
PiIsRational
committed