src/Tools/jEdit/src/syslog_dockable.scala
2014-04-25 wenzelm 2014-04-25 clarified Session.Consumer, with Session.Outlet managed by dispatcher thread; eliminated old actors;
2014-04-22 wenzelm 2014-04-22 avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
2014-04-03 wenzelm 2014-04-03 more general prover operations;
2014-02-20 wenzelm 2014-02-20 tuned imports;
2013-08-24 wenzelm 2013-08-24 more uniform treatment of Swing_Thread context switch: prefer asynchronous Swing_Thread.later from actor;
2012-11-25 wenzelm 2012-11-25 renamed main plugin object to PIDE;
2012-09-25 wenzelm 2012-09-25 tuned;
2012-05-29 wenzelm 2012-05-29 separate syslog dockable -- discontinued tendency of sub-window management via tabs;