| Sat, 10 Jan 2015 11:48:52 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 09 Jan 2015 19:20:00 +0100 | wenzelm | clarified Event_Timer.shutdown: manager thread remains until final shutdown in Session.finish; | file | diff | annotate |
| Mon, 28 Apr 2014 12:56:54 +0200 | wenzelm | added Scala version of module Event_Timer; | file | diff | annotate |
| Tue, 30 Jul 2013 18:19:16 +0200 | wenzelm | recovered delay for Document.start_execution (see also 627fb639a2d9), which potentially improves throughput when many consecutive edits arrive; | file | diff | annotate |
| Thu, 11 Jul 2013 11:40:21 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 05 Jul 2013 23:10:18 +0200 | wenzelm | more uniform Counter in ML and Scala; | file | diff | annotate |
| Fri, 17 May 2013 17:11:06 +0200 | wenzelm | event timer as separate service thread; | file | diff | annotate |