Stand-alone tools for TopLogic development.