src/Tools/jEdit/src/actions.xml
2012-11-25 wenzelm 2012-11-25 tuned signature;
2012-11-25 wenzelm 2012-11-25 added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size;
2012-11-24 wenzelm 2012-11-24 improved editing support for control styles; separate module for Isabelle actions;
2012-11-21 immler 2012-11-21 dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols; search field for symbols
2012-09-27 wenzelm 2012-09-27 removed obsolete Output1 dockable;
2012-09-26 wenzelm 2012-09-26 more uniform graphview terminology;
2012-09-25 wenzelm 2012-09-25 basic integration of graphview into document model; added Graph_Dockable; updated Isabelle/jEdit authors and dependencies etc.;
2012-09-21 wenzelm 2012-09-21 renamed Output to Output1 and Output2 to Output, and thus make the new version the default;
2012-09-16 wenzelm 2012-09-16 alternative output panel, based on Pretty_Text_Area, based on JEditEmbeddedTextArea;
2012-05-29 wenzelm 2012-05-29 separate syslog dockable -- discontinued tendency of sub-window management via tabs;
2012-05-29 wenzelm 2012-05-29 separate README dockable, which allows to make it more prominent first and remove it later;
2011-09-10 wenzelm 2011-09-10 explicit jEdit actions -- to enable key mappings, for example;
2011-08-17 wenzelm 2011-08-17 some convenience actions/shortcuts for control symbols;
2011-06-08 wenzelm 2011-06-08 simplified directory structure;