| Sat, 05 Feb 2011 18:09:57 +0100 | wenzelm | clarified bootstrapping of structure TimeLimit; | changeset | files |
| Fri, 04 Feb 2011 21:52:36 +0100 | wenzelm | more scalable collections of tasks, notably for totality of known group members; | changeset | files |
| Fri, 04 Feb 2011 20:40:25 +0100 | wenzelm | tuned signature; | changeset | files |