| Sat, 09 Apr 2016 14:00:23 +0200 |
wenzelm |
clarified bootstrap;
|
file |
diff |
annotate
|
| Wed, 06 Apr 2016 17:16:30 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 02 Apr 2016 23:29:05 +0200 |
wenzelm |
prefer infix operations;
|
file |
diff |
annotate
|
| Sun, 24 Jan 2016 14:58:56 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 03 Nov 2015 13:54:34 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 21 Jul 2015 14:12:45 +0200 |
wenzelm |
more explicit thread identification;
|
file |
diff |
annotate
|
| Thu, 29 Jan 2015 15:21:16 +0100 |
wenzelm |
explicit threads_stack_limit (for recent Poly/ML SVN versions), which leads to soft interrupt instead of exhaustion of virtual memory, which is particularly relevant for the bigger address space of x86_64;
|
file |
diff |
annotate
|
| Sat, 10 Jan 2015 13:02:27 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 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
|