* changed version to 1.2.0 git-svn-id: file:///usr/local/Singular/svn/trunk@1959 2c84dea3-7e68-4137-9b89-c4e89433aadc