| Fri, 27 Aug 2010 13:55:23 +0200 | haftmann | re-added accidental omission | changeset | files |
| Fri, 27 Aug 2010 13:32:05 +0200 | haftmann | proper namespace administration for hierarchical modules | changeset | files |
| Fri, 27 Aug 2010 17:59:40 +0200 | wenzelm | more antiquotations; | changeset | files |
| Fri, 27 Aug 2010 17:23:57 +0200 | wenzelm | eliminated Unsynchronized.ref in favour of configuration option; | changeset | files |