src/Tools/jEdit/src/dockables.xml
2015-09-21 wenzelm 2015-09-21 separate panel for proof state output;
2015-07-17 wenzelm 2015-07-17 skeleton for interactive debugger;
2014-05-06 wenzelm 2014-05-06 renamed "Find" to "Query", with more general operations;
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-06-25 wenzelm 2013-06-25 dockable window for Isabelle documentation;
2013-03-26 wenzelm 2013-03-26 dockable window for timing information;
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-11-30 wenzelm 2012-11-30 renamed dockable "Prover Session" to "Theories"; more uniform Library.lowercase/uppercase;
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-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-06-08 wenzelm 2011-06-08 simplified directory structure;