| Wed, 24 Apr 2013 12:25:56 +0200 | nipkow | tuned | changeset | files |
| Wed, 24 Apr 2013 12:15:06 +0200 | traytel | took out workaround for bug fixed in 5af40820948b | changeset | files |
| Wed, 24 Apr 2013 11:36:11 +0200 | traytel | merged | changeset | files |
| Wed, 24 Apr 2013 11:06:53 +0200 | traytel | slightly more aggressive syntax translation for printing case expressions | changeset | files |
| 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 |
| Tue, 23 Apr 2013 19:31:24 +0200 | haftmann | documentation and NEWS | changeset | files |