| Sun, 11 Jan 2015 13:12:47 +0100 | wenzelm | do not crash into already running exec, instead join its lazy result in the subsequent step (amending 59f1591a11cb); | changeset | files |
| 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 |