| Tue, 30 Jul 2013 22:43:11 +0200 | wenzelm | more uniform border; | changeset | files |
| Tue, 30 Jul 2013 22:31:34 +0200 | wenzelm | proper PIDE markup for codegen arguments; | changeset | files |
| Tue, 30 Jul 2013 21:22:37 +0200 | wenzelm | less aggressive flushing: cope with massive amounts of protocol messages, e.g. from threads_trace; | changeset | files |
| Tue, 30 Jul 2013 19:53:06 +0200 | wenzelm | tuned -- more uniform ML vs. Scala; | changeset | files |
| 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; | changeset | files |
| Tue, 30 Jul 2013 16:22:07 +0200 | wenzelm | more timing; | changeset | files |
| Tue, 30 Jul 2013 16:01:19 +0200 | wenzelm | more timing; | changeset | files |