[giac] correct brackets for points/vectors

git-svn-id: http://dev.geogebra.org/svn/trunk/geogebra@24430 23ce0884-8a58-47d3-bc5c-ddf1cd5b9f9e
Changing AUTO order for ProveDetails

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

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