isabelle: Changelog

wenzelm [Mon, 28 Apr 2014 16:17:07 +0200] rev 56775

improved syslog performance -- avoid denial-of-service e.g. with threads_trace = 5 and active Syslog dockable;

wenzelm [Mon, 28 Apr 2014 15:29:09 +0200] rev 56774

tuned -- fewer aliases of critical operations;

wenzelm [Mon, 28 Apr 2014 15:22:57 +0200] rev 56773

removed dead code; tuned comments;

wenzelm [Mon, 28 Apr 2014 15:20:59 +0200] rev 56772

tuned comments;

wenzelm [Mon, 28 Apr 2014 15:18:37 +0200] rev 56771

more systematic delay_first discipline for change_buffer and prune_history;

wenzelm [Mon, 28 Apr 2014 14:41:49 +0200] rev 56770

mane delayed events outside of Swing thread -- triggers no longer require Swing_Thread.later;

wenzelm [Mon, 28 Apr 2014 14:19:14 +0200] rev 56769

tuned;

wenzelm [Mon, 28 Apr 2014 12:56:54 +0200] rev 56768

added Scala version of module Event_Timer;

blanchet [Mon, 28 Apr 2014 00:54:31 +0200] rev 56767

restored naming trick

blanchet [Mon, 28 Apr 2014 00:54:30 +0200] rev 56766

more reliable 'name_of_bnf'

isabelle