save proof independent settings, that are not used by the configuration#3700

PiIsRational wants to merge 2 commits intoKeYProject:mainKeYProject/key:mainfrom

PiIsRational:save-pi-settingsPiIsRational/key:save-pi-settingsCopy head branch name to clipboard