| Wed, 24 Apr 2013 13:16:20 +0200 | blanchet | parse set function name | changeset | files |
| Wed, 24 Apr 2013 12:26:28 +0200 | nipkow | merged | changeset | files |
| 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 |