| Wed, 24 Apr 2013 11:32:54 +0200 | haftmann | avoid odd reinit after sublocale declaration | changeset | files |
| Wed, 24 Apr 2013 10:23:47 +0200 | nipkow | moved defs into locale to reduce unnecessary polymorphism; tuned | changeset | files |
| Tue, 23 Apr 2013 19:40:33 +0200 | haftmann | dropped dead code | changeset | files |