| Sat, 14 May 2011 22:00:24 +0200 | wenzelm | merged | changeset | files |
| Sat, 14 May 2011 21:42:17 +0200 | wenzelm | slightly more efficient claset operations, using Item_Net to maintain rules in canonical order; | changeset | files |
| Sat, 14 May 2011 18:26:25 +0200 | haftmann | use pointfree characterisation for fold_set locale | changeset | files |
| Sat, 14 May 2011 18:29:06 +0200 | wenzelm | discontinued global config options within attribute name space; | changeset | files |