| Wed, 28 Jan 2015 22:19:22 +0100 | wenzelm | more robust protocol command: purge removed execs asynchronously, to remain reactive despite problems to cancel "Command.run_process" in a situation of overrunning non-terminating tasks (see also 59f1591a11cb); | changeset | files |
| Wed, 28 Jan 2015 19:25:19 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 28 Jan 2015 19:23:03 +0100 | wenzelm | tuned comment; | changeset | files |
| Wed, 28 Jan 2015 19:18:08 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 28 Jan 2015 19:15:13 +0100 | wenzelm | clarified module name; | changeset | files |
| Wed, 28 Jan 2015 08:29:08 +0100 | haftmann | abstract code equation may also be default | changeset | files |
| Wed, 28 Jan 2015 08:29:08 +0100 | haftmann | proper term_of for iarray | changeset | files |