Sun, 11 Jan 2015 12:46:19 +0100 | wenzelm | more explicit errors; | changeset | files |
Sat, 10 Jan 2015 22:04:43 +0100 | wenzelm | proper latex; | changeset | files |
Sat, 10 Jan 2015 21:39:49 +0100 | wenzelm | tuned -- less redundant; | changeset | files |
Sat, 10 Jan 2015 21:22:25 +0100 | wenzelm | proper Session.save with shutdown, which is relevant to avoid persistent threads; | changeset | files |
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 |