| Sun, 11 Jan 2015 20:45:03 +0100 | wenzelm | removed unused/non-portable with_tmp_fifo; | changeset | files |
| Sun, 11 Jan 2015 20:40:14 +0100 | wenzelm | discontinued fifo channel, always use portable socket; | changeset | files |
| Sun, 11 Jan 2015 13:44:25 +0100 | wenzelm | tuned -- more Sidekick-friendly layout; | changeset | files |
| 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 |