A new version of Tizen developer tools version 13.05.2 has been released.
http://download.tizen.org/tools/latest-release/