Pr 4 2 final polish#37

silviudr merged 2 commits into

mainsilviudr/planproof:mainfrom

pr-4-2-final-polishsilviudr/planproof:pr-4-2-final-polishCopy head branch name to clipboard