I don't have personal knowledge of what software Amanita Design used but found this info for you:
"Designers use Adobe Flash Builder to port original code from the game's previous iterations and then a combination of Photoshop and Flash Professional to refine graphcs and animations. To reach larger audiences, Amanita leverages Adobe AIR to seamlessly deliver rich gameplay across mobile devices."
Source:
PDF document via
http://gaming.adobe.com/showcase/?promoid=KCHFR