| Sun, 19 Aug 2012 17:33:00 +0200 | wenzelm | fewer components, more roots; | changeset | files |
| Sun, 19 Aug 2012 17:21:34 +0200 | wenzelm | actually remove makeall (cf. 292b97e17fb7); | changeset | files |
| Fri, 17 Aug 2012 21:16:13 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 17 Aug 2012 21:15:36 +0200 | wenzelm | Backed out changeset ec82c33c75f8; | changeset | files |