2014-10-24 ago more generous default;
2014-10-21 ago back to alternative fold painter, despite f03a9c57760a -- gutter painter seems to have changed in the meantime;
2014-07-23 ago added action "isabelle.options" (despite problems with initial window size);
2014-05-18 ago clarified docking layout, amending 9c2ca698690e;
2014-05-14 ago restrict default docking layout to bare minimum -- NB: Simplifier Trace still needs fine-tuning to show up on demand;
2014-05-08 ago enable "PIDE" docking framework by default, and rely on its "Detach" menu item;
2014-05-07 ago tuned defaults;
2014-05-06 ago renamed "Find" to "Query", with more general operations;
2014-04-22 ago favorites for jEdit file browser, although an expanded directory path is expected here, not environment variables;
2014-04-15 ago explicit menu action to complete word;
2014-04-15 ago tuned menu;
2014-04-14 ago some actions to maintain spell-checker dictionary;
2014-04-07 ago refrain from changing jEdit default shortcuts, due to potential for conflicts and actually not working on Mac OS X;
2014-04-04 ago support for jEdit Navigator plugin;
2014-02-18 ago more uniform treatment of dockables and their standard actions;
2014-02-18 ago standardized action and panel names;
2014-02-04 ago interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state
2013-12-01 ago prefer isabelle application icon;
2013-11-30 ago clarified view.title;
2013-11-05 ago no default shortcut for isabelle.reset-font-size -- avoid conflict with unsplit-current;
2013-10-09 ago avoid confusion of isabelle.complete vs. menu item complete-word (NB: alternative shortcuts not shown in menus);
2013-10-04 ago another shortcut alias;
2013-09-26 ago workaround for action-bar shortcut on Mac OS X L&F: avoid EnhancedMenuItem.setAccelerator which causes conflict with regular key handling and thus double invocation -- see also jEdit.actionContext (if actionBarVisible view.removeToolBar);
2013-09-25 ago include MacOSX plugin by default -- disabled by default to avoid multiplatform confusion;
2013-09-21 ago removed obsolete README;
2013-08-29 ago added action isabelle.complete, using standard jEdit keyboard shortcut;
2013-08-25 ago some secondary shortcuts derived from 5.1.0/keymaps/German_Keyboard_keys.props (using CIRCUMFLEX instead of S+1);
2013-08-23 ago added action isabelle.reset-font-size;
2013-08-17 ago Sledgehammer is docked on startup;
2013-08-13 ago discontinued special treatment of \<^isub> and \<^isup> in rendering or editor front-end;
2013-08-09 ago Find is docked on startup;
2013-08-09 ago sorted lines;
2013-07-31 ago actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
2013-07-31 ago simplified flag for continuous checking: avoid GUI complexity and slow checking of all theories (including prints);
2013-07-29 ago updated key bindings to execution range;
2013-06-25 ago dockable window for Isabelle documentation;
2013-06-23 ago clones of increase-font-size / decrease-font-size to allow two further shortcuts for various keyboard layouts;
2013-01-28 ago more portable alternative shortcuts on numeric keypad;
2013-01-10 ago dock "Theories" right, although it might obscure some control buttons;
2013-01-09 ago Console is not docked on startup;
2013-01-04 ago more reactive completion popup by default;
2013-01-04 ago updated to jedit_build-20130104;
2012-12-13 ago odd bias of sub/superscript keyboard shortcuts -- according to frequency of use;
2012-12-12 ago prevent dedicated MacOSX plugin from switching off vital workarounds;
2012-12-04 ago proper action labels, to make this appear in the "Shortcuts" panel, for example;
2012-12-03 ago avoid odd warnings due to failure of systray icon;
2012-12-01 ago moved isabelle shortcuts to main jEdit.props, in order to have them migrated to the "imported" keymap;
2012-12-01 ago updated to jedit-5.0.0;
2012-11-30 ago renamed dockable "Prover Session" to "Theories";
2012-11-21 ago enable Symbols dockable by default;
2012-08-07 ago clarified Sidekick configuration, including minor modes;
2012-05-29 ago separate README dockable, which allows to make it more prominent first and remove it later;
2012-04-19 ago some sidekick options for more advanced completion;
2011-06-08 ago simplified directory structure;