A professional text editor with support of HTML and other languages.
Update, install and manage Tex Live Manager from an intuitive UI.
Feature-rich text editing application.
