ProveDetails: creating a new line (not visible in EV) when it should be shown in an NDG (please review)

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@27609 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e