Before revision: DaVinci is a development tool used to create HTML5 mobile applications and media content.
After revision: DaVinci was a development tool used to create HTML5 mobile applications and media content.