--- a/changelog Tue Jan 10 19:41:15 2017 +0100 +++ b/changelog Tue Jan 10 19:41:43 2017 +0100 @@ -2,6 +2,9 @@ ---------- Version 17.02: - bug fixes +- Editor + -- added a bar with formatting options for HTML, Markdown and reStructured + Text files - Web Browser -- added functionality to manage the plug-in provided documentation sets