Just to clear things up, he is using a pc software called GameSalad which is very noob-friendly. He told me that he is planning to make the game for iOS platforms. It is the sort of software you could easily make a game like dinosmash on I believe.

Here's the link to the software if you would like to take a look for yourselves: http://gamesalad.com/