| Sat, 28 Mar 2009 16:00:54 +0100 | wenzelm | simplified internal locale parameters: maintain proper name and type, instead of binding and constraint; | changeset | files |
| Sat, 28 Mar 2009 12:48:31 +0100 | wenzelm | minor tuning; | changeset | files |
| Sat, 28 Mar 2009 12:26:21 +0100 | wenzelm | merged | changeset | files |