| Sat, 10 Jan 2015 20:28:53 +0100 | wenzelm | tuned latex; | changeset | files |
| Sat, 10 Jan 2015 16:35:21 +0100 | wenzelm | merged | changeset | files |
| Sat, 10 Jan 2015 16:35:07 +0100 | wenzelm | always use socket to test performance and stability; | changeset | files |
| Sat, 10 Jan 2015 14:28:41 +0100 | wenzelm | explicit shutdown of scheduler and worker thread farm, assuming Session.shutdown() before saving heap image; | changeset | files |