2016-03-18 wenzelm 2016-03-18 no dependency on HighlightPlugin, despite e7b2cfcef94c;
2015-12-31 wenzelm 2015-12-31 updated for release;
2015-11-24 wenzelm 2015-11-24 paint gutter text on base line of main text area, to accomodate extra line spacing without special tricks (see also jEdit bug #3717 and its fix in SVN 23977, which does not quite work: odd jumping positions on vertical cursor movement); avoid hardwired colors (see 1d9c121cbe4d); updated to Highlight 2.2;
2015-10-23 wenzelm 2015-10-23 updated to jedit-5.3.0 and SideKick 1.8;
2015-09-21 wenzelm 2015-09-21 separate panel for proof state output;
2015-07-17 wenzelm 2015-07-17 skeleton for interactive debugger;
2015-05-21 wenzelm 2015-05-21 updated versions;
2014-11-04 wenzelm 2014-11-04 approximative update of versions;
2014-10-18 wenzelm 2014-10-18 tuned signature;
2014-10-05 wenzelm 2014-10-05 more advanced NEWS tree structure and folding;
2014-10-03 wenzelm 2014-10-03 SideKick parser for bibtex entries; tuned signature;
2014-05-21 wenzelm 2014-05-21 approximative update of versions;
2014-05-06 wenzelm 2014-05-06 renamed "Find" to "Query", with more general operations;
2014-04-10 wenzelm 2014-04-10 more contributors;
2014-02-18 wenzelm 2014-02-18 more uniform treatment of dockables and their standard actions;
2014-02-18 wenzelm 2014-02-18 standardized action and panel names;
2014-02-04 Lars Hupel 2014-02-04 interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state
2013-09-21 wenzelm 2013-09-21 removed obsolete README; open Documentation dockable by default;
2013-08-08 wenzelm 2013-08-08 dockable window for Sledgehammer, based on asynchronous/parallel query operation;
2013-08-02 wenzelm 2013-08-02 dockable window for "find" dialog (GUI only);
2013-07-06 wenzelm 2013-07-06 minimal jedit mode for Isabelle NEWS;
2013-06-25 wenzelm 2013-06-25 dockable window for Isabelle documentation;
2013-03-26 wenzelm 2013-03-26 dockable window for timing information;
2013-01-04 wenzelm 2013-01-04 updated to jedit_build-20130104;
2012-12-10 wenzelm 2012-12-10 recovered title property from bfb5964e3041;
2012-12-10 wenzelm 2012-12-10 stateless dockable window for graphview, which is triggered by the active area of the corresponding diagnostic command;
2012-12-08 wenzelm 2012-12-08 basic monitor panel, using the powerful jfreechart library; sorted Isabelle menu entries -- this is mainly a catalog;
2012-12-01 wenzelm 2012-12-01 moved isabelle shortcuts to main jEdit.props, in order to have them migrated to the "imported" keymap;
2012-12-01 wenzelm 2012-12-01 updated to jedit-5.0.0;
2012-11-30 wenzelm 2012-11-30 tuned labels;
2012-11-30 wenzelm 2012-11-30 renamed dockable "Prover Session" to "Theories"; more uniform Library.lowercase/uppercase;
2012-11-30 wenzelm 2012-11-30 alternative shortcut for English keyboard;
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-10-07 wenzelm 2012-10-07 detach tooltip as dockable window;
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-09-14 wenzelm 2012-09-14 more scalable option-group;
2012-09-10 wenzelm 2012-09-10 manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
2012-08-24 wenzelm 2012-08-24 support for direct hyperlinks, without the Hyperlinks plugin;
2012-08-07 wenzelm 2012-08-07 more structural parsing for minor modes; tuned signatures;
2012-08-07 wenzelm 2012-08-07 clarified Sidekick configuration, including minor modes;
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 clarified prover startup: no timeout, read stderr more carefully;
2012-05-29 wenzelm 2012-05-29 separate README dockable, which allows to make it more prominent first and remove it later;
2011-11-10 wenzelm 2011-11-10 more generous margin;
2011-09-10 wenzelm 2011-09-10 some keyboard shortcuts for important actions; proper label properties, which are also required for jEdit "Shortcuts" options panel;
2011-08-17 wenzelm 2011-08-17 some convenience actions/shortcuts for control symbols;
2011-06-08 wenzelm 2011-06-08 simplified directory structure;