The official tool to upgrade the Samsung Galaxy Pro B7510 is Kies, but in most cases, the upgrade can’t be done. Instead there is a tool named Odin:
http://enzag.com/technology/android/how-to-upgrade-samsung-galaxy-pro-b7510-to-gingerbread/

It is recommended to register at SamFirmware where you can download the official firmware, then you can install it using:

http://www.sammobile.com/2014/12/23/firmware-for-samsungs-upcoming-tizen-phone-the-z1-now-online/8/?view=2588