2012-09-25 ago basic integration of graphview into document model;
2012-09-21 ago renamed Output to Output1 and Output2 to Output, and thus make the new version the default;
2012-09-16 ago alternative output panel, based on Pretty_Text_Area, based on JEditEmbeddedTextArea;
2012-09-14 ago more scalable option-group;
2012-09-10 ago manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
2012-08-24 ago support for direct hyperlinks, without the Hyperlinks plugin;
2012-08-07 ago more structural parsing for minor modes;
2012-08-07 ago clarified Sidekick configuration, including minor modes;
2012-05-29 ago separate syslog dockable -- discontinued tendency of sub-window management via tabs;
2012-05-29 ago clarified prover startup: no timeout, read stderr more carefully;
2012-05-29 ago separate README dockable, which allows to make it more prominent first and remove it later;
2011-11-10 ago more generous margin;
2011-09-10 ago some keyboard shortcuts for important actions;
2011-08-17 ago some convenience actions/shortcuts for control symbols;
2011-06-08 ago simplified directory structure;