| Tue, 09 Jul 2013 13:24:17 +0200 | wenzelm | tuned signature -- NB: Command.read is actually part of Command.eval; | changeset | files |
| Tue, 09 Jul 2013 13:17:22 +0200 | wenzelm | tuned protocol terminology; | changeset | files |
| Tue, 09 Jul 2013 13:16:10 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 08 Jul 2013 21:00:16 +0200 | wenzelm | allow whitespace in file names; | changeset | files |
| Mon, 08 Jul 2013 12:47:39 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 08 Jul 2013 12:07:06 +0200 | wenzelm | more direct interleaving of eval/print and update/execution -- refrain from crude manipulation of max_threads; | changeset | files |
| Mon, 08 Jul 2013 12:00:45 +0200 | wenzelm | allow worker guest threads, which participate actively in future joins, but are outside thread accounting; | changeset | files |
| Wed, 10 Jul 2013 12:25:11 +0200 | smolkas | made SML/NJ happy | changeset | files |