Before revision: DaVinci is a development tool for creating HTML5 mobile applications and media content.
After revision: DaVinci was a development tool for creating HTML5 mobile applications and media content.